variable category
Definition 0.1.
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]).
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.