1 Category TheoryI do not know much about categories, however some concepts from it are useful in phrasing certain properties.ContentsSection 1.1: Categories and FunctorsSection 1.2: Universal ConstructionPowered by Spec