To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Weak n-category

From Wikipedia, the free encyclopedia

In category theory, a weak n-category is a generalization of the notion of strict n-category where composition and identities are not strictly associative and unital, but only associative and unital up to coherent equivalence. This generalisation only becomes noticeable at dimensions two and above where weak 2-, 3- and 4-categories are typically referred to as bicategories, tricategories, and tetracategories. The subject of weak n-categories is an area of ongoing research.


There is currently[when?] much work to determine what the coherence laws for weak n-categories should be. Weak n-categories have become the main object of study in higher category theory. There are basically two classes of theories: those in which the higher cells and higher compositions are realized algebraically (most remarkably Michael Batanin's theory of weak higher categories) and those in which more topological models are used (e.g. a higher category as a simplicial set satisfying some universality properties).

In a terminology due to John Baez and James Dolan, a (n, k)-category is a weak n-category, such that all h-cells for h > k are invertible. Some of the formalism for (n, k)-categories are much simpler than those for general n-categories. In particular, several technically accessible formalisms of (infinity, 1)-categories are now known. Now the most popular such formalism centers on a notion of quasi-category, other approaches include a properly understood theory of simplicially enriched categories and the approach via Segal categories; a class of examples of stable (infinity, 1)-categories can be modeled (in the case of characteristics zero) also via pretriangulated A-infinity categories of Maxim Kontsevich. Quillen model categories are viewed as a presentation of an (infinity, 1)-category; however not all (infinity, 1)-categories can be presented via model categories.

See also

External links

  • n-Categories – Sketch of a Definition by John Baez
  • Lectures on n-Categories and Cohomology by John Baez
  • Tom Leinster, Higher operads, higher categories, math.CT/0305049
  • Simpson, Carlos (2012). Homotopy theory of higher categories. New Mathematical Monographs. Vol. 19. Cambridge: Cambridge University Press. arXiv:1001.4071. Bibcode:2010arXiv1001.4071S. MR 2883823.
  • Jacob Lurie, Higher topos theory, math.CT/0608040, published version: pdf
This page was last edited on 14 January 2022, at 21:23
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.