AbstractWe introduce a new model of connected (n+1)-types which consists of a subcategory of catn-groups. We study the homotopical properties of this model; this includes an algebraic description of the Postnikov decomposition and of the homotopy groups of its objects. Further, we use this model to build a comparison functor from catn-groups to Tamsamani weak (n+1)-groupoids which preserves the homotopy type. As an application, we obtain a homotopical semistrictification result for those Tamsamani weak (n+1)-groupoids whose classifying space is path-connected
We define a notion of weak ω-category internal to a model of Martin-Löf's type theory, and prove tha...
We prove that any homotopy type can be recovered canonically from its associated weak ω-groupoid. Th...
Homotopy type theory may be seen as an internal language for the ∞-category of weak ∞-groupoids. Mor...
Homotopy 3-types can be modelled algebraically by Tamsamani’s weak 3-groupoids as well as, in the pa...
AbstractHomotopy 3-types can be modelled algebraically by Tamsamani’s weak 3-groupoids as well as, i...
We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable ...
Empirical thesis.Bibliography: pages 120-121.Chapter 1. Introduction -- Chapter 2. Globular theories...
For each n ≥ 1, we introduce two new Segal-type models of n-types of topological spaces: weakly glob...
For each n ≥ 1, we introduce two new Segal-type models of n-types of topological spaces: weakly glob...
For each n ≥ 1, we introduce two new Segal-type models of n-types of topological spaces: weakly glob...
This is a survey on the use of some internal higher categorical structures in algebraic topology and...
AbstractWe give an algebraic proof of Loday's ‘Classification theorem’ for truncated homotopy types....
The concept of a groupoid was first introduced in 1926 by H. Brandt in his fundamental paper [7]. Th...
The concept of a groupoid was first introduced in 1926 by H. Brandt in his fundamental paper [7]. Th...
In Homotopy Type Theory, we have (at least) two plausible notions of groupoid: 1. 1-truncated types ...
We define a notion of weak ω-category internal to a model of Martin-Löf's type theory, and prove tha...
We prove that any homotopy type can be recovered canonically from its associated weak ω-groupoid. Th...
Homotopy type theory may be seen as an internal language for the ∞-category of weak ∞-groupoids. Mor...
Homotopy 3-types can be modelled algebraically by Tamsamani’s weak 3-groupoids as well as, in the pa...
AbstractHomotopy 3-types can be modelled algebraically by Tamsamani’s weak 3-groupoids as well as, i...
We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable ...
Empirical thesis.Bibliography: pages 120-121.Chapter 1. Introduction -- Chapter 2. Globular theories...
For each n ≥ 1, we introduce two new Segal-type models of n-types of topological spaces: weakly glob...
For each n ≥ 1, we introduce two new Segal-type models of n-types of topological spaces: weakly glob...
For each n ≥ 1, we introduce two new Segal-type models of n-types of topological spaces: weakly glob...
This is a survey on the use of some internal higher categorical structures in algebraic topology and...
AbstractWe give an algebraic proof of Loday's ‘Classification theorem’ for truncated homotopy types....
The concept of a groupoid was first introduced in 1926 by H. Brandt in his fundamental paper [7]. Th...
The concept of a groupoid was first introduced in 1926 by H. Brandt in his fundamental paper [7]. Th...
In Homotopy Type Theory, we have (at least) two plausible notions of groupoid: 1. 1-truncated types ...
We define a notion of weak ω-category internal to a model of Martin-Löf's type theory, and prove tha...
We prove that any homotopy type can be recovered canonically from its associated weak ω-groupoid. Th...
Homotopy type theory may be seen as an internal language for the ∞-category of weak ∞-groupoids. Mor...