Related papers: Homotopy theoretic models of identity types
The purpose of this paper is to collect the homotopical methods used in the development of the theory of flows initialized by author's paper ``A model category for the homotopy theory of concurrency''. It is presented generalizations of the…
Let $H$ be a cocommutative Hopf algebra. The notion of Lie $H$-pseudoalgebra is a multivariable generalization of Lie conformal algebras. In this paper, we study some higher structures related to Lie $H$-pseudoalgebras where we increase the…
In this paper, we focus on some models in rational homotopy theory, Sullivan model, Quillen model, C_\infty model, and L_\infty model. We give some connections between them. As an application, we prove the Torus Rank Conjecture.
If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…
This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems…
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…
We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of…
We report on the development of the HoTT library, a formalization of homotopy type theory in the Coq proof assistant. It formalizes most of basic homotopy type theory, including univalence, higher inductive types, and significant amounts of…
The primary goal of this paper is to find a homotopy theoretic approximation to moduli spaces of holomorphic maps Riemann surfaces into complex projective space. There is a similar treatment of a partial compactification of these moduli…
Recent models of intensional type theory have been constructed in algebraic weak factorization systems (AWFSs). AWFSs give rise to comprehension categories that feature non-trivial morphisms between types; these morphisms are not used in…
We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…
This paper takes its starting point in an idea of Grothendieck on the representation of homotopy types. We show that any locally finite nilpotent homotopy can be represented by a simplicial set which is a finitely generated free group in…
Given $X$ a finite nilpotent simplicial set, consider the classifying fibrations $$ X\to Baut_G^*(X)\to Baut_G(X),\qquad X\to Z\to Baut_{\pi}^*(X), $$ where $G$ and $\pi$ denote, respectively, subgroups of the free and pointed homotopy…
We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We…
Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…
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…
This paper lays the foundations of an approach to applying Gromov's ideas on quantitative topology to topological data analysis. We introduce the "contiguity complex", a simplicial complex of maps between simplicial complexes defined in…
This paper uses a net-theoretic approach to convergence spaces, aimed to simplify the description of continuous convergence in order to apply it in problems concerning Homotopy Theory. We present methods for handling homotopies of limit…
This article shows several new methods for proofs on Kan complexes while using them to give a compact introduction to the homotopy groups of these complexes. Then more advanced objects are studied starting with homology and the Hurewicz…
This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a…