Section 8.7 (016E): Even More Conditions on Functors

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

8.7 Even More Conditions on Functors

Subsection 8.7.1: Injective on Objects Functors
- Definition 8.7.1.1.1: Injective on Objects Functors
- Proposition 8.7.1.1.2: Properties of Injective on Objects Functors
Subsection 8.7.2: Surjective on Objects Functors
- Definition 8.7.2.1.1: Surjective on Objects Functors
Subsection 8.7.3: Bijective on Objects Functors
- Definition 8.7.3.1.1: Bijective on Objects Functors
Subsection 8.7.4: Functors Representably Faithful on Cores
- Definition 8.7.4.1.1: Functors Representably Faithful on Cores
- Remark 8.7.4.1.2: Unwinding Definition 8.7.4.1.1
- Question 8.7.4.1.3: Characterisation of Functors Representably Faithful on Cores
Subsection 8.7.5: Functors Representably Full on Cores
- Definition 8.7.5.1.1: Functors Representably Full on Cores
- Remark 8.7.5.1.2: Unwinding Definition 8.7.5.1.1
- Question 8.7.5.1.3: Characterisation of Functors Representably Full on Cores
Subsection 8.7.6: Functors Representably Fully Faithful on Cores
- Definition 8.7.6.1.1: Functors Representably Fully Faithful on Cores
- Remark 8.7.6.1.2: Unwinding Definition 8.7.6.1.1
- Question 8.7.6.1.3: Characterisation of Functors Representably Fully Faithful on Cores
Subsection 8.7.7: Functors Corepresentably Faithful on Cores
- Definition 8.7.7.1.1: Functors Corepresentably Faithful on Cores
- Remark 8.7.7.1.2: Unwinding Definition 8.7.7.1.1
- Question 8.7.7.1.3: Characterisation of Functors Corepresentably Faithful on Cores
Subsection 8.7.8: Functors Corepresentably Full on Cores
- Definition 8.7.8.1.1: Functors Corepresentably Full on Cores
- Remark 8.7.8.1.2: Unwinding Definition 8.7.8.1.1
- Question 8.7.8.1.3: Characterisation of Functors Corepresentably Full on Cores
Subsection 8.7.9: Functors Corepresentably Fully Faithful on Cores
- Definition 8.7.9.1.1: Functors Corepresentably Fully Faithful on Cores
- Remark 8.7.9.1.2: Unwinding Definition 8.7.9.1.1
- Question 8.7.9.1.3: Characterisation of Functors Corepresentably Fully Faithful on Cores

Noticed something off, or have any comments? Feel free to reach out!

You can also use the contact form below: