Category Theory Lecture Notes for ESSLLI (PDF 133P)
This note covers the following topics related to
Category Theory: Functional programming languages as categories, Mathematical structures as
categories, Categories of sets with structure, Categories of algebraic
structures, Constructions on categories, Properties of objects and arrows,
Functors, Diagrams and naturality, Products and sums, Cartesian closed
categories, Limits and colimits, Adjoints, Triples, Toposes, Categories with
monoidal structure.
Author(s): Michael
Barr and Charles Wells
133 Pages