Semistrict models of connected 3-types and Tamsamani's weak 3-groupoids

On d\'eveloppe une th\'eorie de l'homotopie des 2-cat\'egories analogue \`a la th\'eorie de l'homotopie des cat\'egories d\'evelopp\'ee par Grothendieck dans "\`A la poursuite des champs". Il s'agit de la th\`ese de doctorat de l'auteur. We develop a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks." This is the author's PhD thesis.

The purpose of this survey article is to introduce the reader to a connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Martin-L\"of into homotopy theory, resulting in new examples of higher-dimensional categories.

The aim of this paper is to explain how, through the work of a number of people, some algebraic structures related to groupoids have yielded algebraic descriptions of homotopy n-types. Further, these descriptions are explicit, and in some cases completely computable, in a way not possible with the traditional Postnikov systems, or with other models, such as simplicial groups.

The aim of this article is to explain a philosophy for applying higher dimensional Seifert-van Kampen Theorems, and how the use of groupoids and strict higher groupoids resolves some foundational anomalies in algebraic topology at the border between homology and homotopy. We explain some applications to filtered spaces, and special cases of them, while a sequel will show the relevance to n-cubes of pointed spaces.

In this paper, we describe a regular representation given by Cayley theorem for 2-crossed modules of groups and their associated Gray 3-group groupoids with a single 0-cell and equivalently cat2-groups.

We show that every braided monoidal category arises as $\End(I)$ for a weak unit $I$ in an otherwise completely strict monoidal 2-category. This implies a version of Simpson's weak-unit conjecture in dimension 3, namely that one-object 3-groupoids that are strict in all respects, except that the object has only weak identity arrows, can model all connected, simply connected homotopy 3-types. The proof has a clear intuitive content and relies on a geometrical argument with str...

This text develops a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks". We define the notion of "basic localizer of 2-Cat", 2-categorical generalization of Grothendieck's notion of basic localizer, and we show that the homotopy theories of $Cat$ and 2-$Cat$ are equivalent in a remarkably strong sense: there is an isomorphism, compatible with localization, between the ordered classes of basic localizers of ...

In this article, we interconnect two different aspects of higher category theory, in one hand the theory of infinity categories and on an other hand the theory of 2-categories.We construct an explicit functorial path objet in the model category of topological categories. We discuss some properties and consequences of such path object. We also explain the construction of a 2-monad which algebras are (symmetric) monoidal topological categories. Finally, we explain the relations...

Higher category theory is an exceedingly active area of research, whose rapid growth has been driven by its penetration into a diverse range of scientific fields. Its influence extends through key mathematical disciplines, notably homotopy theory, algebraic geometry and algebra, mathematical physics, to encompass important applications in logic, computer science and beyond. Higher categories provide a unifying language whose greatest strength lies in its ability to bridge bet...

We look at strict $n$-groupoids and show that if $\Re$ is any realization functor from the category of strict $n$-groupoids to the category of spaces satisfying a minimal property of compatibility with homotopy groups, then there is no strict $n$-groupoid $G$ such that $\Re (G)$ is the $n$-type of $S^2$ (for $n\geq 3$). At the end we speculate on how one might fix this problem by introducing a notion of ``snucategory'', a strictly associative $n$-category with only weak units...