Abbas Edalat Michael B. Smyth Categories of Information Systems. 37-52 1991 conf/ctcs/1991 Category Theory and Computer Science db/conf/ctcs/ctcs1991.html#EdalatS91