Definition 0.1.
A variable category is defined as an indexed family or class of either categories and, or
functor categories [𝒢i] with i ∈ I in the functor category ℱ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’([1]).
References
[1] Baianu, I.C., R. Brown and J.F. Glazebrook. : 2007a, Categorical Ontology of
Complex Spacetime Structures: The Emergence of Life and Human Consciousness,
Axiomathes, 17: 35-168.
[2] Baianu I. C., Brown R., Georgescu G. and J. F. Glazebrook: 2006b,
Complex Nonlinear Biodynamics in Categories, Higher Dimensional Algebra and
Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic
Networks., Axiomathes, 16 Nos. 1-2: 65-122.
