Category Theory: Applications to Algebra, Logic and Topology. ...
K. H. Kamps & D. Pumplün & W. Tholen