Find a concept
BRANCH OVERVIEW
Category theory
Objects through maps, naturality, and universal constructions.
← All branches · Each sheet includes definitions, theorems, applications, and exercises with hints and worked solutions.
Category theory
Objects through maps, naturality, and universal constructions.
- Categories & morphismsDescribe structure through composable maps, without assuming the objects are sets with elements.
- Functors, naturality & YonedaTransport structure between categories and compare those transports coherently.
- Universal properties, products & adjunctionsSpecify an object by the maps it uniquely permits rather than by one construction.