Higher category theory

Higher category theory

Higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities.

Contents

Strict higher categories

N-categories are defined inductively using the enriched category theory: 0-categories are sets, and (n+1)-categories are categories enriched over the monoidal category of n-categories (with the monoidal structure given by finite products).[1] This construction is well defined, as shown in the article on n-categories. This concept introduces higher arrows, higher compositions and higher identities, which must well behave together. For example, the category of small categories is in fact a 2-category, with natural transformations as second degree arrows. However this concept is too strict for some purposes (for example, homotopy theory), where "weak" structures arise in the form of higher categories.[2]

Weak higher categories

In weak n-categories, the associativity and identity conditions are no longer strict (that is, they are not given by equalities), but rather are satisfied up to an isomorphism of the next level. An example in topology is the composition of paths, which is associative only up to homotopy. These isomorphisms must well behave between hom-sets and expressing this is the difficulty in the definition of weak n-categories. Weak 2-categories, also called bicategories, were the first to be defined explicitly. A particularity of these is that a bicategory with one object is exactly a monoidal category, so that bicategories can be said to be "monoidal categories with many objects." Weak 3-categories, also called tricategories, and higher-level generalizations are increasingly harder to define explicitly. Several definitions have been given, and telling when they are equivalent, and in what sense, has become a new object of study in category theory.

Quasicategories

Weak Kan complexes, or quasi-categories, are semisimplicial complexes satisfying a weak version of the Kan condition. Joyal showed that they are a good foundation for higher category theory. Recently the theory has been systematized further by Jacob Lurie who simply call them infinity categories, though the latter term is also a generic term for all models of (infinity,k) categories for any k.

Simplicially enriched category

Simplicially enriched categories, or simplicial categories, are categories enriched over simplicial sets. However, when we look at them as a model for (infinity,1)-categories, then many categorical notions, say limits do not agree with the corresponding notions in the sense of enriched categories. The same for other enriched models like topologically enriched categories.

Topologically enriched categories

Topologically enriched categories (sometimes simply topological categories) are categories enriched over some convenient category of topological spaces, e.g. the category of compactly generated Hausdorff topological spaces.

Segal categories

These are models of higher categories introduced by Hirschowitz and Simpson in 1988,[3] partly inspired by results of Graeme Segal in 1974.

See also

References

  1. ^ Leinster, pp 18-19
  2. ^ Baez, p 6
  3. ^ André Hirschowitz, Carlos Simpson (1998), Descente pour les n-champs (Descent for n-stacks)
  • John C. Baez; James Dolan (1998). "Categorification". arXiv:math/9802029. 
  • Tom Leinster (2004). Higher Operads, Higher Categories. Cambridge University Press. arXiv:math.CT/0305049. ISBN 0521532159. 
  • Carlos Simpson, Homotopy theory of higher categories, draft of a book arXiv:1001.4071 (alternative URL with hyperTeX-ed crosslinks: pdf)
  • Jacob Lurie, Higher topos theory, arXiv:math.CT/0608040, published version: pdf
  • nlab, the collective and open wiki notebook project on higher category theory and applications in physics, mathematics and philosophy
  • Joyal's Catlab, a wiki dedicated to polished expositions of categorical and higher categorical mathematics with proofs

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… …   Wikipedia

  • Nerve (category theory) — In category theory, the nerve N(C) of a small category C is a simplicial set constructed from the objects and morphisms of C. The geometric realization of this simplicial set is a topological space, called the classifying space of the category C …   Wikipedia

  • n-group (category theory) — Not to be confused with p group. In mathematics, an n group, or n dimensional higher group, is a special kind of n category that generalises the concept of group to higher dimensional algebra. Here, n may be any natural number or infinity. The… …   Wikipedia

  • PRO (category theory) — In category theory, a PRO is a strict monoidal category whose objects are the natural integers and whose tensor product is given on objects by the addition on integers. By an integer n, we mean here the set {0,1,ldots,n 1}.Some examples of PROs:… …   Wikipedia

  • Element (category theory) — In category theory, the concept of an element, or a point, generalizes the more usual set theoretic concept of an element of a set to an object of any category. This idea often allows to restate definitions or properties of morphisms (such as… …   Wikipedia

  • Category (mathematics) — In mathematics, a category is an algebraic structure that comprises objects that are linked by arrows . A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A …   Wikipedia

  • Higher-dimensional algebra — This article is about higher dimensional algebra and supercategories, respectively, in generalized category theory, and supercategory theory or meta mathematics .In higher dimensional algebra [cite journal|last = Batanin|first = MA|title =… …   Wikipedia

  • n-category — In mathematics, n categories are a high order generalization of the notion of category. The category of (small) n categories n Cat is defined by induction on n by: the category 0 Cat is the category Set of sets and functions, the category (n+1)… …   Wikipedia

  • n-category number — In mathematics, the n category number of a mathematician is a humorous construct invented by Dan Freed[1], intended to measure the capacity of that mathematician to stomach the use of higher categories. It is defined as the largest number n such… …   Wikipedia

  • Theory of mind — is the ability to attribute mental states beliefs, intents, desires, pretending, knowledge, etc. to oneself and others and to understand that others have beliefs, desires and intentions that are different from one s own.[1] Though there are… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”