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

by M Barr, C Wells