A variable category is defined as an indexed family or class of either categories
and, or functor categories
with
in the functor category
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'([1]).
As of this snapshot date, this entry was owned by bci1.