A survey of definitions of -category.
By Tom Leinster. 2002
69 citations recorded by the source corpus.
View Paper: https://www.semanticscholar.org/paper/7a1af63a2090f6a04da2e8b446491a661dad8601
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
- Nicola Gambino
- Carlos Simpson
- Joachim Kock
- Richard Garner
- David Corfield
- Benno van den Berg
- Charles Rezk
- Christopher J. Schommer-Pries
Citations in the corpus
- Homotopy Theory of Higher Categories: THE MODEL STRUCTURE (2010, background): “Whereas the Batanin-type theories [20] [148] [162] are closest to this ideal, the Segal-type theories we consider in the present book will add additional structural sets to the basic globular set of A.”
- A cartesian presentation of weak n–categories (2009, background): “Sketches of these ideas can be found in Leinster [14] and Cheng [7].”
- Polynomial functors and polynomial monads (2009, methodology): “The paper [33] uses polynomial functors to establish the first purely combinatorial characterisation of the opetopes, the shapes underlying several approaches to higher-dimensional category theory [39], starting with the work of Baez and Dolan [6].”
- Towards a Philosophy of Real Mathematics (2003, background): “Leinster (2002) has provided an up-to-date list of a dozen varieties of n-category, which in”
- Simplicial Matrices and the Nerves of Weak n-Categories I: Nerves of Bicategories (2001, unknown): “…and similar " lax " higher dimensional category-like objects (where even precise definitions are not easily comparable and remain under debate[Leinster 2002]) has not attempted to describe them in simplicial terms. . . this in spite of the fact that much of the motivation for studying these…”
- Types are weak ω‐groupoids (2008, background): “On these grounds, it is Batanin’s definition which we will adopt here; or rather, a mild reformulation of his definition given by Leinster [13].”
- Derived algebraic geometry (2014, background): “Various other notions of∞-categories for which the compositions is only associative up to a coherent set of homotopies are gathered in [16, 84].”