17 февр. 2009 г. · A strict 3 3 -category is a directed 3-graph equipped with a composition operation on adjacent cells (of all levels) which is strictly unital ...

7 мая 2013 г. · A 3 3 -category is any of several concepts that generalize 2 2 -categories one step in higher category theory.

25 февр. 2015 г. · Every tricategory is equivalent to a Gray-categories. However any Gray-category is not equivalent to a 3-category. Why there is no 3-category or tricategory of bicategories? Tricategorical coherence - ct.category theory - MathOverflow What's the name of this flavor of n-category? - MathOverflow "Partially strict" monoidal categories - MathOverflow Другие результаты с сайта mathoverflow.net

13 нояб. 2015 г. · The homotopy 3-groupoid of S2 is not equivalent to a strict 3-category. While it may or may not be the strictly smallest weak 3-category ... Strict monoidal categories, the definition. - Math Stack Exchange 2-category vs bicategory. 3-category vs tricategory. Why is it difficult to define n-category? - Math Stack Exchange Why Strict 2 group is equivalent to Group object in Category of ... Другие результаты с сайта math.stackexchange.com

9 окт. 1998 г. · Abstract page for arXiv paper math/9810059: Homotopy types of strict 3-groupoids.

Gray-categories can thus be viewed as a maximally strict yet still completely general form of weak 3-category, and it is known, for instance, that Gray- ...

strict 2-category is a commutative monoid, a one-object one-morphism strict 3-category is a com- mutative monoidal category. In contrast, a Gray category ...

By [Gur13], every 3-category is equivalent to a. Gray-category, which is the correct notion of a strict 3-category, but defined as an enriched. 1-category in ...

10 мая 2010 г. · Our counterexample comes from higher category theory: the strict algebras are strict 3-categories, and the pseudoalgebras are a type of semi ...

... 3-category is equivalent to a strict 3-category. The topological counterpart of this is that not every homotopy 3- type can be realised by a strict 3-groupoid.