combinatorial shape (Rev #7, changes)

Showing changes from revision #6 to #7: Added | Removed | Changed

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


Δ\Delta the simplex category

Ω\Omega the globe category

TT the tree category

\square the cube category

ΘΘ n \Theta \Theta_n Joyal’s (disc) 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



Functorial images of combinatorial shape categories

Constraints on the functor

Nerves, Realization and Segal conditions

Model structures and presentation of higher structures


  • 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 14, 2012 at 00:52:25 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.