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

This paper constitutes a recent work using the constructions of a previous preprint alg-geom/9512006 to show that the functors geometric realisation and Poincar\'e $n$-groupoid induce an equivalence between the category of $n$-grouppoids and the category of $n$-truncated topological spaces, when we localise both categories by weak equivalence.

In this paper, we introduce the notions of a $3$-$Lie_\infty$-algebra and a 3-Lie 2-algebra. The former is a model for a 3-Lie algebra that satisfy the fundamental identity up to all higher homotopies, and the latter is the categorification of a 3-Lie algebra. We prove that the 2-category of 2-term $3$-$Lie_\infty$-algebras is equivalent to the 2-category of 3-Lie 2-algebras. Skeletal and strict 3-Lie 2-algebras are studied in detail. A construction of a 3-Lie 2-algebra from ...

This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy types of their classifying spaces. Double categories (Ehresmann, 1963) have well-understood geometric realizations, and here we deal with homotopy types represented by double groupoids satisfying a natural `filling condition'. Any such double groupoid characteristically has associated to it `homotopy groups', which are defined using only its algebraic struc...

In this paper we introduce the models for $(\infty, n)$-categories which have been developed to date, as well as the comparisons between them that are known and conjectured. We review the role of $(\infty, n)$-categories in the proof of the Cobordism Hypothesis.

In this paper, I introduce weak representations of a Lie groupoid $G$. I also show that there is an equivalence of categories between the categories of 2-term representations up to homotopy and weak representations of $G$. Furthermore, I show that any VB-groupoid is isomorphic to an action groupoid associated to a weak representation on its kernel groupoid; this relationship defines an equivalence of categories between the categories of weak representations of $G$ and the cat...

The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) $\infty$-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. We show how to endow the putative underlying globular set with a system of composition, a system of identities and a system of inverses, together with an approximation of the interpretation of any map for a theory of $\infty$-categories. Finally, we introduce a coglob...

This is the final version of a series of papers uploaded in May 25, 2005. We have splitted the long last paper of the previous version in two parts to make it easier to understand. The results are essentially the same, although the presentation has changed substantially. The first three papers have not changed. This is a collection of five papers on the foundation of triangulated categories in the context of groupoid-enriched categories, termed track categories, and charact...

Any tricategory characteristically has associated various simplicial or pseudo-simplicial objects. This paper explores the relationship amongst three of them: the pseudo-simplicial bicategory so-called Grothendieck nerve of the tricategory, the simplicial bicategory termed its Segal nerve, and the simplicial set called its Street geometric nerve, and it proves the fact that the geometric realizations of all of these possible candidate 'nerves of the tricategory' are homotopy ...

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a "homotopy theory of homotopy theories." In this paper we show that there are two different categories of diagrams of simplicial sets, each equipp...

Many people have proposed definitions of `weak n-category'. Ten of them are presented here. Each definition is given in two pages, with a further two pages on what happens when n = 0, 1, or 2. The definitions can be read independently. Chatty bibliography follows.