Weak n-category

Weak n-category

In category theory, weak "n"-categories are a generalization of the notion of (strict) "n"-category where composition is not strictly associative but only associative up to an isomorphism, which is itself associative up to an isomorphism, which is itself... There is currently much work to determine what the coherence laws should be for those. Weak n categories have become the main object of study in higher category theory.

ee also

* Bicategory
* Tricategory
* Tetracategory

External links

* [http://math.ucr.edu/home/baez/ncat.def.html "n"-Categories – Sketch of a Definition] by John Baez
* [http://arxiv.org/abs/math.CT/0608420 Lectures on n-Categories and Cohomology] by John Baez


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Weak equivalence — In mathematics, a weak equivalence is a notion from homotopy theory which in some sense identifies objects that have the same basic shape . This notion is formalized in the axiomatic definition of a closed model category.Formal definitionA closed …   Wikipedia

  • Weak Hausdorff space — In mathematics, a weak Hausdorff space is a topological space where the image of every continuous map from a compact Hausdorff space into the space is closed. [cite web |url=http://neil strickland.staff.shef.ac.uk/courses/homotopy/cgwh.pdf |title …   Wikipedia

  • 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 1 Strict higher categories 2 Weak higher… …   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 — 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 …   Wikipedia

  • Timeline of category theory and related mathematics — This is a timeline of category theory and related mathematics. By related mathematics is meant first hand * Homological algebra * Homotopical algebra * Topology using categories, especially algebraic topology * Categorical logic * Foundations of… …   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

  • N-category number — In mathematics, the n category number of a mathematician is a humorous construct invented by Dan FreedSee [http://math.ucr.edu/home/baez/week255.html This Week s Finds 255] .] , intended to measure the capacity of that mathematician to stomach… …   Wikipedia

  • Model category — In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ( arrows ) called weak equivalences , fibrations and cofibrations . These abstract from a conventional homotopy category, of… …   Wikipedia

  • Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… …   Wikipedia

Share the article and excerpts

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