4.6 The Adjoint Triple $f_{!}\dashv f^{-1}\dashv f_{*}$
-
Subsection 4.6.1: Direct Images
- Definition 4.6.1.1.1: Direct Images
- Notation 4.6.1.1.2: Further Notation for Direct Images
- Warning 4.6.1.1.3: Notation for Direct Images Is Confusing
- Remark 4.6.1.1.4: Unwinding Definition 4.6.1.1.1
- Proposition 4.6.1.1.5: Properties of Direct Images I
- Proposition 4.6.1.1.6: Properties of Direct Images II
-
Subsection 4.6.2: Inverse Images
- Definition 4.6.2.1.1: Inverse Images
- Remark 4.6.2.1.2: Unwinding Definition 4.6.2.1.1
- Proposition 4.6.2.1.3: Properties of Inverse Images I
- Proposition 4.6.2.1.4: Properties of Inverse Images II
-
Subsection 4.6.3: Codirect Images
- Definition 4.6.3.1.1: Codirect Images
- Notation 4.6.3.1.2: Further Notation for Codirect Images
- Warning 4.6.3.1.3: Notation for Codirect Images Is Confusing
- Remark 4.6.3.1.4: Unwinding Definition 4.6.3.1.1
- Definition 4.6.3.1.5: The Image and Complement Parts of $f_{*}$
- Example 4.6.3.1.6: Examples of Codirect Images
- Proposition 4.6.3.1.7: Properties of Codirect Images I
- Proposition 4.6.3.1.8: Properties of Codirect Images II
- Subsection 4.6.4: A Six-Functor Formalism for Sets
