11.8 Even More Conditions on Functors
-
Subsection 11.8.1: Injective on Objects Functors
- Definition 11.8.1.1.1: Injective on Objects Functors
- Proposition 11.8.1.1.2: Properties of Injective on Objects Functors
-
Subsection 11.8.2: Surjective on Objects Functors
- Definition 11.8.2.1.1: Surjective on Objects Functors
-
Subsection 11.8.3: Bijective on Objects Functors
- Definition 11.8.3.1.1: Bijective on Objects Functors
-
Subsection 11.8.4: Functors Representably Faithful on Cores
- Definition 11.8.4.1.1: Functors Representably Faithful on Cores
- Remark 11.8.4.1.2: Unwinding Definition 11.8.4.1.1
- Question 11.8.4.1.3: Characterisation of Functors Representably Faithful on Cores
-
Subsection 11.8.5: Functors Representably Full on Cores
- Definition 11.8.5.1.1: Functors Representably Full on Cores
- Remark 11.8.5.1.2: Unwinding Definition 11.8.5.1.1
- Question 11.8.5.1.3: Characterisation of Functors Representably Full on Cores
-
Subsection 11.8.6: Functors Representably Fully Faithful on Cores
- Definition 11.8.6.1.1: Functors Representably Fully Faithful on Cores
- Remark 11.8.6.1.2: Unwinding Definition 11.8.6.1.1
- Question 11.8.6.1.3: Characterisation of Functors Representably Fully Faithful on Cores
-
Subsection 11.8.7: Functors Corepresentably Faithful on Cores
- Definition 11.8.7.1.1: Functors Corepresentably Faithful on Cores
- Remark 11.8.7.1.2: Unwinding Definition 11.8.7.1.1
- Question 11.8.7.1.3: Characterisation of Functors Corepresentably Faithful on Cores
-
Subsection 11.8.8: Functors Corepresentably Full on Cores
- Definition 11.8.8.1.1: Functors Corepresentably Full on Cores
- Remark 11.8.8.1.2: Unwinding Definition 11.8.8.1.1
- Question 11.8.8.1.3: Characterisation of Functors Corepresentably Full on Cores
-
Subsection 11.8.9: Functors Corepresentably Fully Faithful on Cores
- Definition 11.8.9.1.1: Functors Corepresentably Fully Faithful on Cores
- Remark 11.8.9.1.2: Unwinding Definition 11.8.9.1.1
- Question 11.8.9.1.3: Characterisation of Functors Corepresentably Fully Faithful on Cores
