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...
AbstractThe homotopy theory of simplical groups is well known [2, Ch. VI] to be equivalent to the po...
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...
Abstract. We construct models for the motivic homotopy category based on simplicial functors from sm...
This is an elementary introduction to simplicial sets, which are generalizations of ∆-complexes from...
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...
AbstractThe homotopy theory of simplical groups is well known [2, Ch. VI] to be equivalent to the po...
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...
Abstract. We construct models for the motivic homotopy category based on simplicial functors from sm...
This is an elementary introduction to simplicial sets, which are generalizations of ∆-complexes from...
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...
AbstractThe homotopy theory of simplical groups is well known [2, Ch. VI] to be equivalent to the po...
DOI
Add to ORKG