Related papers: Simplicial sets inside cubical sets
The category of simplicial R-coalgebras over a presheaf of commutative unital rings on a small Grothendieck site is endowed with a left proper, simplicial, cofibrantly generated model category structure where the weak equivalences are the…
In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of \'etale homotopy. Using this model structure we define a pro-space associated to a topos, as a result…
We propose an abstract notion of a type theory to unify the semantics of various type theories including Martin-L\"{o}f type theory, two-level type theory and cubical type theory. We establish basic results in the semantics of type theory:…
We prove a general version of Quillen's Theorem B, for actions of simplicial categories, in an arbitrary left Bousfield localization of the homotopy theory of simplicial presheaves over a site. As special cases, we recover a version of the…
In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky's univalent interpretation of it. This…
We generalise sheaf models of intuitionistic logic to univalent type theory over a small category with a Grothendieck topology. We use in a crucial way that we have constructive models of univalence, that can then be relativized to any…
Categories with families (CwFs) have been used to define the semantics of type theory in type theory. In the setting of Homotopy Type Theory (HoTT), one of the limitations of the traditional notion of CwFs is the requirement to set-truncate…
Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a…
As the prototypical category, $\mathbf{Set}$ has many properties which make it special amongst categories. From the point of view of mathematical logic, one such property is that $\mathbf{Set}$ has enough structure to "properly" formalise…
We study elementary theories of well-pointed toposes and pretoposes, regarded as category-theoretic or "structural" set theories in the spirit of Lawvere's "Elementary Theory of the Category of Sets". We consider weak intuitionistic and…
This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…
We consider quasi-polynomial spaces of differential forms defined as weighted (with a positive weight) spaces of differential forms with polynomial coefficients. We show that the unisolvent set of functionals for such spaces on a simplex in…
Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…
We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition…
Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce…
This article proposes an algorithm that constructs a Sullivan minimal model for any simply connected simplicial set with effective homology and thereby allows one to decide algorithmically whether two simply connected spaces represented by…
We study properties of the cubical Joyal model structures on cubical sets by means of a combinatorial construction which allows for convenient comparisons between categories of cubical sets with and without symmetries. In particular, we…
Motivated by generalizing Khovanov's categorification of the Jones polynomial, we study functors $F$ from thin posets $P$ to abelian categories $\mathcal{A}$. Such functors $F$ produce cohomology theories $H^*(P,\mathcal{A},F)$. We find…
A general method for lifting weak factorization systems in a category S to model category structures on simplicial objects in S is described, analogously to the lifting of cotorsion pairs in Abelian categories to model category structures…
It is well known that the internal suplattices in the topos of sheaves on a locale are precisely the modules on that locale. Using enriched category theory and a lemma on KZ doctrines we prove (the generalization of) this fact in the case…