User:Djhmoore/Books/Universal Properties

Kan Extensions to Pullbacks

 * Initial and terminal objects
 * Universal property
 * Equaliser (mathematics)
 * Kan extension
 * Limit (category theory)
 * Pullback (category theory)
 * Adjoint functors
 * Fiber bundle
 * Monoidal category
 * Enriched category