The Clowder Project

11.1 Categories

• Subsection 11.1.1: Foundations
  • Definition 11.1.1.1.1: Categories
  • Notation 11.1.1.1.2: Further Notation for Morphisms in Categories
  • Definition 11.1.1.1.3: Size Conditions on Categories
• Subsection 11.1.2: Subcategories
  • Definition 11.1.2.1.1: Subcategories
  • Definition 11.1.2.1.2: Full Subcategories
  • Definition 11.1.2.1.3: Strictly Full Subcategories
  • Definition 11.1.2.1.4: Wide Subcategories
• Subsection 11.1.3: Skeletons of Categories
  • Definition 11.1.3.1.1: Skeletons of Categories
  • Definition 11.1.3.1.2: Skeletal Categories
  • Proposition 11.1.3.1.3: Properties of Skeletons of Categories
• Subsection 11.1.4: Precomposition and Postcomposition
  • Definition 11.1.4.1.1: Precomposition and Postcomposition Functions
  • Proposition 11.1.4.1.2: Properties of Pre/Postcomposition