PlanetPhysics/Variable Category

A variable category is defined as an indexed family or class of either categories and, or functor categories $$[\G_i]$$ with $$i \in I$$ in the functor category $$\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'.