Category Theory Topics

• Grimoire of Categories:
  • Set the category of sets
  • Mfld of smooth manifolds
  • Cat of (small) categories
  • CRing of commutative rings with identity
• Large Categories and other discussion of "size issues"
• Axiom of Choice
• Internalization to abstract gadgets over arbitrary carrier gadgets (like how a Lie group is a group object in the category of differential manifolds)
  • Example: Internal Category
  • Monoid Object
  • Group Objects
• 2-Groups