|
|
|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)
supercategory
|
(Topic)
|
|
"supercategory" is owned by bci1.
|
|
(view preamble | get metadata)
See Also: ETAS interpretation, categories and supercategories in relational biology, n-category, axiomatizable class, higher dimensional algebra, variable category, variable network topology, 2-category, n-category, supercategory theories, natural transformations of organismic structures, functor category
| Other names: |
organismic supercategories, higher dimensional algebra(HDA), super-categories |
| Also defines: |
order of a supercategory, structural dimension, meta-category, super-category, multiple composition laws, non-Abelian superstructure with heterofunctors, vector field S1-supercategory |
| Keywords: |
organismic supercategories, axiomatic theory of supercategories, higher dimensional algebra (HDA), meta-categories, non-Abelian superstructures with heterofunctors, n-categories, super-categories |
This object's parent.
|
|
Cross-references: edges, elementary theory of abstract supercategories, link, contain, unit, expressions, independent, elements, restriction, negation, complete, types of morphisms, non-Abelian, foundations, ETAC, functorial morphisms, level, automata homomorphisms, homeomorphisms, topological space, groupoid homomorphisms, usual conditions, second category, arrow, proper class, Axiom As, property, image, commutative, equations, commutative diagrams, associativity, ETAS axioms, theorems, quantifier, scope, occurrence, sentence, iff, formulas, function, unary, subclasses, dimensions, morphisms, axiom of choice, infinite sets, relation, axiomatic, natural transformations, heterofunctors, Transform, flexible, abstract relational biology, series, organismic sets, theories, double categories, higher dimensional algebras, Foundation of Mathematics, hypergraphs, ODE's, general system, logics, applications, double groupoids, 2-category, colors, k-partite graphs, bipartite graph, connected, vector field, interpretation, supercategories, monoidal, strict, degrees, monoidal category, even, string, associate, groups, modules, groupoids, complexes, definable, identity, ETAC axioms, abstract category, square, Diamond, category of categories, Cat, references, quantum gravity, graded Lie algebras, Lie superalgebras, extensions, supersymmetry, category theory, category, small categories, components, site, n-category, functors, simple, collection, finite, axioms, type, composition, algebraic, order, integer, structures, multiple, diagrams, categorical, objects, classes, non-abelian structure, ETAS, terms
There are 17 references to this entry.
This is version 110 of supercategory, born on 2008-07-16, modified 2009-05-15.
Object id is 10800, canonical name is Supercategories3.
Accessed 3346 times total.
Classification:
| AMS MSC: | 18A25 (Category theory; homological algebra :: General theory of categories and functors :: Functor categories, comma categories) | | | 03C99 (Mathematical logic and foundations :: Model theory :: Miscellaneous) | | | 18A30 (Category theory; homological algebra :: General theory of categories and functors :: Limits and colimits ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
