Category Theory for Computing Science. Centre de Recherches Mathématiques, third edition (1999)

by M Barr, C Wells