Basic Concepts of Enriched Category Theory |
Contents
The elementary notions | 16 |
11 | 49 |
Indexed limits and colimits | 71 |
4 | 81 |
6 | 87 |
8 | 94 |
Functor categories | 104 |
| 231 | |
104 | 237 |
| 239 | |
Common terms and phrases
adjunction admits Algebra applying assertion bijection canonical classical clearly closed closure cocomplete colim colimits commutativity complete composite condition cone conical limits conservative consider consists continuous corresponding cotensor products counit course defined definition dense density determined diagram dual easily element epimorphism equalizers equivalent example exhibits exists expressed fact factorizes filtered Finally finite follows full subcategory fully faithful functor given gives hence implies inclusion indexed limits induces initial instance isomorphism Kelly Lan G latter left adjoint left Kan extension Math monomorphism natural Note notion object observe ordinary category ordinary functor particular pointwise precisely presentation preserves Proof Proposition reflective representable representing satisfied sends sense side suppose tensor Theorem theory transformation unique unit universal V-CAT V-category V-functor V-natural variables write Yoneda
References to this book
Rings, Modules, and Algebras in Stable Homotopy Theory Anthony D. Elmendorf No preview available - 1997 |