Category Theory for Computing Science, third edition. Les publications Centre de recherches mathématiques (1999)

by M Barr, C Wells