PlanetPhysics/Variable Category

A variable category is defined as an indexed family or class of either categories and, or functor categories Failed to parse (unknown function "\G"): {\displaystyle [\G_i]} with $i\in I$ in the functor category Failed to parse (unknown function "\F"): {\displaystyle \F_{ct}} of categories and functors with additional axioms, rules, or properties of the underlying categories, that specify for example how such categories can be 'freely generated'().