4 Categories
Chapter 4 of the Stacks Project, Categories, Tag 0011: the 41 sections of its 44 with a tag that a declaration carries, one article each, in the Stacks Project's order. Their 226 tags are carried by 285 declarations of the repository (16 in StacksCore and 269 in StacksFrontier) and 192 registered declarations.
4.2 Definitions to 4.23 Exact functors
- 4.2 Definitions
- 4.3 Opposite Categories and the Yoneda Lemma
- 4.4 Products of pairs
- 4.5 Coproducts of pairs
- 4.6 Fibre products
- 4.8 Fibre products and representability
- 4.9 Pushouts
- 4.10 Equalizers
- 4.11 Coequalizers
- 4.12 Initial and final objects
- 4.13 Monomorphisms and Epimorphisms
- 4.14 Limits and colimits
- 4.16 Connected limits
- 4.17 Cofinal and initial categories
- 4.18 Finite limits and colimits
- 4.19 Filtered colimits
- 4.20 Cofiltered limits
- 4.21 Limits and colimits over preordered sets
- 4.22 Essentially constant systems
- 4.23 Exact functors
4.24 Adjoint functors to 4.43 Monoidal categories
- 4.24 Adjoint functors
- 4.25 A criterion for representability
- 4.26 Categorically compact objects
- 4.27 Localization in categories
- 4.28 Formal properties
- 4.29 2-categories
- 4.30 (2, 1)-categories
- 4.31 2-fibre products
- 4.32 Categories over categories
- 4.33 Fibred categories
- 4.34 Inertia
- 4.35 Categories fibred in groupoids
- 4.36 Presheaves of categories
- 4.37 Presheaves of groupoids
- 4.38 Categories fibred in sets
- 4.39 Categories fibred in setoids
- 4.40 Representable categories fibred in groupoids
- 4.41 The 2-Yoneda lemma
- 4.42 Representable 1-morphisms
- 4.43 Monoidal categories
4.44 Categories of dotted arrows
Loading dependency explorer…
The dependency explorer needs JavaScript and its graph data.