Related papers: Simplicial sets inside cubical sets

A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can…

We develop category theory within Univalent Foundations, which is a foundational system for mathematics based on a homotopical interpretation of dependent type theory. In this system, we propose a definition of "category" for which equality…

For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…

We make available some results about model theory cyclically ordered groups. We start with a classification of complete theories of divisible abelian cyclically ordered groups. Then we look at the cyclically ordered groups where the only…

We show that every involutive Hopf monoid in a complete and finitely cocomplete symmetric monoidal category gives rise to invariants of oriented surfaces defined in terms of ribbon graphs. For every ribbon graph this yields an object in the…

We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and…

We give a general technique for constructing a functorial choice of very good paths objects, which can be used to implement identity types in models of type theories in direct manner with little reliance on general coherence results. We…

Bishop's informal set theory is briefly discussed and compared to Lawvere's Elementary Theory of the Category of Sets (ETCS). We then present a constructive and predicative version of ETCS, whose standard model is based on the constructive…

We introduce the notion of a Tits arrangement on a convex open cone as a special case of (infinite) simplicial arrangements. Such an object carries a simplicial structure similar to the geometric representation of Coxeter groups. The…

The data of a physical experiment can be represented as a presheaf of probability distributions. A striking feature of quantum theory is that those probability distributions obtained in quantum mechanical experiments do not always admit a…

We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order…

The set-theoretic axiom WISC states that for every set there is a set of surjections to it cofinal in all such surjections. By constructing an unbounded topos over the category of sets and using an extension of the internal logic of a topos…

The main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as…

The notion of soft sets is introduced as a general mathematical tool for dealing with uncertainty. In this paper, we consider the concepts of soft compactness, countably soft compactness and obtain some results. We study some soft…

We construct a cofibrantly generated Quillen model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An n-fold functor is a weak…

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

Properly embedded simplices in a convex divisible domain $\Omega \subset \mathbb{R} \textrm{P}^d$ behave somewhat like flats in Riemannian manifolds, so we call them flats. We show that the set of codimension-$1$ flats has image which is a…

Following the types-as-sets paradigm, we present a mechanized embedding of dependent function types with a hierarchy of universes into schematic first-order logic with equality, with axiom schemas of Tarski-Grothendieck set theory. We carry…

We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Lof's type theory (hence…

Let $\mathbf{k}$ be the field $\mathbb{F}_p$ or the ring $\mathbb{Z}$. We study combinatorial and topological properties of the universal simplicial complexes $X(\mathbf{k}^n)$ and $K(\mathbf{k}^n)$ whose simplices are certain unimodular…