Introduction Category Theory by Example
The series introduces category theory as a connected collection of definitions, examples, and applications in sets, programming languages, and physics.
Archive
The series introduces category theory as a connected collection of definitions, examples, and applications in sets, programming languages, and physics.
Groups, rings, fields, and vector spaces provide algebraic background used by the categorical examples.