Universal Properties
Routing Summary
This folder contains the introductory note on universal properties — the motivating concept for the entire book. For the formal treatment, follow the links to Adjunctions, Representables, and Limits.
- Need the motivating overview of universal properties? → Universal Properties - Introduction
- Need the formal treatment via adjunctions? → Adjunctions via Initial Objects
- Need the formal treatment via representability? → Representable Functors
- Need the formal treatment via limits? → General Limits
Notes
- Universal Properties - Introduction — CONTAINS: table of examples (free group, product, tensor product), categorical unification theorem, uniqueness of universal properties, table of three equivalent languages
Sources
- 1612.09375v2.pdf — Basic Category Theory, Ch. 0
See Also
- Adjunctions — Universal properties via adjunctions
- Representables — Universal properties via representability