Contributes to the emerging area of homotopy type theory. Provides new effective foundations for simplicial homotopy theory. Light on prerequisites (only basic category theory is required)
This open access book offers a self-contained introduction to the homotopy theory of simplicial and ...
In this master thesis we want to study the newly discovered homotopy type theory, and its models wit...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
Contributes to the emerging area of homotopy type theory. Provides new effective foundations for sim...
ABSTRACT. There are infinitely many variants of the notion of Kan fibration that, together with suit...
1. Kan's relative property 1.1. Epimorpb ism s of simplicial groups. 1.2. The decomposition of ...
With the development of Quillen's concept of a closed model category and, in particular, a simplicia...
International audienceThis paper endeavors to show the possible application to model theory of conce...
We show by elementary means that every Kan fibration in simplicial sets can be embedded in a univale...
AbstractThis paper develops the foundations of a simplicial theory of weak ω-categories, which build...
This paper develops the foundations of a simplicial theory of weak ω-categories, which builds upon t...
This is an elementary introduction to simplicial sets, which are generalizations of ∆-complexes from...
Abstract. We construct models for the motivic homotopy category based on simplicial functors from sm...
The problem of defining Semi-Simplicial Types (SSTs) in Homotopy Type Theory (HoTT) has been recogni...
We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voev...
This open access book offers a self-contained introduction to the homotopy theory of simplicial and ...
In this master thesis we want to study the newly discovered homotopy type theory, and its models wit...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
Contributes to the emerging area of homotopy type theory. Provides new effective foundations for sim...
ABSTRACT. There are infinitely many variants of the notion of Kan fibration that, together with suit...
1. Kan's relative property 1.1. Epimorpb ism s of simplicial groups. 1.2. The decomposition of ...
With the development of Quillen's concept of a closed model category and, in particular, a simplicia...
International audienceThis paper endeavors to show the possible application to model theory of conce...
We show by elementary means that every Kan fibration in simplicial sets can be embedded in a univale...
AbstractThis paper develops the foundations of a simplicial theory of weak ω-categories, which build...
This paper develops the foundations of a simplicial theory of weak ω-categories, which builds upon t...
This is an elementary introduction to simplicial sets, which are generalizations of ∆-complexes from...
Abstract. We construct models for the motivic homotopy category based on simplicial functors from sm...
The problem of defining Semi-Simplicial Types (SSTs) in Homotopy Type Theory (HoTT) has been recogni...
We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voev...
This open access book offers a self-contained introduction to the homotopy theory of simplicial and ...
In this master thesis we want to study the newly discovered homotopy type theory, and its models wit...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
DOI
Add to ORKG