The Clowder Project

8.2 The Quadruple Adjunction With Sets

• Subsection 8.2.1: Statement
  • Proposition 8.2.1.1.1: The Quadruple Adjunction Between $\mathsf{Sets}$ and $\mathsf{Cats}$
• Subsection 8.2.2: Connected Components and Connected Categories
  • Subsubsection 8.2.2.1: Connected Components of Categories
    • Definition 8.2.2.1.1: Connected Components of Categories
  • Subsubsection 8.2.2.2: Sets of Connected Components of Categories
    • Definition 8.2.2.2.1: Sets of Connected Components of Categories
    • Proposition 8.2.2.2.2: Properties of Sets of Connected Components
  • Subsubsection 8.2.2.3: Connected Categories
    • Definition 8.2.2.3.1: Connected Categories
• Subsection 8.2.3: Discrete Categories
  • Definition 8.2.3.1.1: Discrete Categories
  • Proposition 8.2.3.1.2: Properties of Discrete Categories on Sets
• Subsection 8.2.4: Indiscrete Categories
  • Definition 8.2.4.1.1: Indiscrete Categories
  • Proposition 8.2.4.1.2: Properties of Indiscrete Categories on Sets