The Clowder Project

8.3 Groupoids

• Subsection 8.3.1: Foundations
  • Definition 8.3.1.1.1: Isomorphisms
  • Notation 8.3.1.1.2: The Set of Isomorphisms Between Two Objects in a Category
  • Definition 8.3.1.1.3: Groupoids
• Subsection 8.3.2: The Groupoid Completion of a Category
  • Definition 8.3.2.1.1: The Groupoid Completion of a Category
  • Construction 8.3.2.1.2: Construction of the Groupoid Completion of a Category
  • Proposition 8.3.2.1.3: Properties of Groupoid Completion
• Subsection 8.3.3: The Core of a Category
  • Definition 8.3.3.1.1: The Core of a Category
  • Notation 8.3.3.1.2: Alternative Notation for the Core of a Category
  • Construction 8.3.3.1.3: Construction of the Core of a Category
  • Proposition 8.3.3.1.4: Properties of the Core of a Category