No CrossRef data available.
Article contents
ASPECTS OF GLOBULAR HIGHER CATEGORY THEORY
Part of:
Categories and theories
General logic
Model theory
Applied homological algebra and category theory
Homological algebra
Categories with structure
Homotopy theory
Special categories
Published online by Cambridge University Press: 19 May 2014
Abstract
An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Keywords
MSC classification
Secondary:
03B15: Higher-order logic and type theory
03C85: Second- and higher-order model theory
18D05: Double categories, $2$-categories, bicategories and generalizations
18D50: Operads
18G55: Homotopical algebra
55U35: Abstract and axiomatic homotopy theory
18B40: Groupoids, semigroupoids, semigroups, groups (viewed as categories)
18C15: Triples (= standard construction, monad or triad), algebras for a triple, homology and derived functors for triples
55P15: Classification of homotopy type
- Type
- Abstracts of Australasian PhD Theses
- Information
- Copyright
- Copyright © 2014 Australian Mathematical Publishing Association Inc.
References
Batanin, M., ‘Monoidal globular categories as a natural environment for the theory of weak-n-categories’, Adv. Math. 136 (1998), 39–103.Google Scholar
Kachour, C., ‘Operadic definition of the non-strict cells’, Cah. Topol. Géom. Différ. Catég. 4 (2011), 1–48.Google Scholar