8.5 The Adjoint Pairs $R_{!}\dashv R_{-1}$ and $R^{-1}\dashv R_{*}$
-
Subsection 8.5.1: Direct Images
- Definition 8.5.1.1.1: Direct Images
- Remark 8.5.1.1.2: Unwinding Definition 8.5.1.1.1
- Proposition 8.5.1.1.3: Properties of Direct Image Functions
- Proposition 8.5.1.1.4: Properties of the Direct Image Function Operation
-
Subsection 8.5.2: Strong Inverse Images
- Definition 8.5.2.1.1: Strong Inverse Images
- Remark 8.5.2.1.2: Unwinding Definition 8.5.2.1.1
- Proposition 8.5.2.1.3: Properties of Strong Inverse Images
- Proposition 8.5.2.1.4: Properties of the Strong Inverse Image Function Operation
-
Subsection 8.5.3: Weak Inverse Images
- Definition 8.5.3.1.1: Weak Inverse Images
- Remark 8.5.3.1.2: Unwinding Definition 8.5.3.1.1
- Proposition 8.5.3.1.3: Properties of Weak Inverse Image Functions
- Proposition 8.5.3.1.4: Properties of the Weak Inverse Image Function Operation
-
Subsection 8.5.4: Codirect Images
- Definition 8.5.4.1.1: Codirect Images
- Remark 8.5.4.1.2: Unwinding Definition 8.5.4.1.1
- Proposition 8.5.4.1.3: Properties of Codirect Images
- Proposition 8.5.4.1.4: Properties of the Codirect Image Function Operation
-
Subsection 8.5.5: Functoriality of Powersets
- Proposition 8.5.5.1.1: Functoriality of Powersets I
-
Subsection 8.5.6: Functoriality of Powersets: Relations on Powersets
- Definition 8.5.6.1.1: The Relation on Powersets Associated to a Relation
- Remark 8.5.6.1.2: Unwinding Definition 8.5.6.1.1
- Proposition 8.5.6.1.3: Functoriality of Powersets II
