Computational category theory (1988)

by David E Rydeheard, Rodney M Burstall