The Clowder Project

8.5 Conditions on Functors

• Subsection 8.5.1: Faithful Functors
  • Definition 8.5.1.1.1: Faithful Functors
  • Proposition 8.5.1.1.2: Properties of Faithful Functors
• Subsection 8.5.2: Full Functors
  • Definition 8.5.2.1.1: Full Functors
  • Proposition 8.5.2.1.2: Properties of Full Functors
  • Question 8.5.2.1.3: Better Characterisations of Functors With Full Precomposition
• Subsection 8.5.3: Fully Faithful Functors
  • Definition 8.5.3.1.1: Fully Faithful Functors
  • Proposition 8.5.3.1.2: Properties of Fully Faithful Functors
• Subsection 8.5.4: Conservative Functors
  • Definition 8.5.4.1.1: Conservative Functors
  • Proposition 8.5.4.1.2: Properties of Conservative Functors
  • Question 8.5.4.1.3: Characterisations of Functors With Conservative Pre/Postcomposition
• Subsection 8.5.5: Essentially Injective Functors
  • Definition 8.5.5.1.1: Essentially Injective Functors
  • Question 8.5.5.1.2: Characterisations of Functors With Essentially Injective Pre/Postcomposition
• Subsection 8.5.6: Essentially Surjective Functors
  • Definition 8.5.6.1.1: Essentially Surjective Functors
  • Question 8.5.6.1.2: Characterisations of Functors With Essentially Surjective Pre/Postcomposition
• Subsection 8.5.7: Equivalences of Categories
  • Definition 8.5.7.1.1: Equivalences of Categories
  • Proposition 8.5.7.1.2: Properties of Equivalences of Categories
• Subsection 8.5.8: Isomorphisms of Categories
  • Definition 8.5.8.1.1: Isomorphisms of Categories
  • Example 8.5.8.1.2: Equivalent But Non-Isomorphic Categories
  • Proposition 8.5.8.1.3: Properties of Isomorphisms of Categories