Spahn combinatorial shape (Rev #6)

One way to define higher structures is via functors on categories of combinatorial shapes (also called categories of geometric shapes).

Other approaches to define higher structures are by enrichment? or by internalization?.

General theory

Reedy categories

Interaction with model structures, generalized- and elegant Reedy categories

Characterizations of cells

Functorial characterization

Recursive characterization

Examples

Δ\Delta the simplex category

Ω\Omega the globe category

TT the tree category

\square the cube category

Θ\Theta Joyal’s category

Θ A\Theta_A

where AA is an ω\omega-operad and Θ A\Theta_A is a dense subcategory of the category of A̲\underline A-algebras. This is diecussed in Berger.

Γ\Gamma Segal’s category

Opetope

Poset

Functorial images of combinatorial shape categories

Constraints on the functor

Nerves, Realization and Segal conditions

Model structures and presentation of higher structures

References

  • This Week’s Finds in Mathematical Physics (Week 242), web (Discussion at the n-Cafe)

  • Tom Leinster, higher operads, higher categories, arXiv:math/0305049

  • higher topos theory

  • André Joyal, The theory of quasicategories and its applications lectures at Simplicial Methods in Higher Categories, (pdf)

  • André Joyal, Notes on quasi-categories (pdf).

  • Eugenia Cheng, Aaron Lauda, higher-dimensional categories: an illustrated guide book, pdf

  • Ieke Moerdijk, Bertrand Toen, simplicial methods for operads and algebraic geometry

  • Clemens Berger, A Cellular Nerve for Higher Categories, pdf

Revision on November 13, 2012 at 23:41:14 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.