Category Theory For Computing Science
Michael Barr, Charles Wells · 1995
Preliminaries. Categories. Functors. Diagrams. Naturality and Sketches. Products and Sums. Catesian Closed Categories. Finite Discrete Sketches. Limits and Colimits. More About Sketches. Fibrations. Adjoints. Algebras for Endofunctors. Toposes.