Related papers: Mapping spaces in Quasi-categories
It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of…
Let $\g_1$ and $\g_2$ be two dg Lie algebras, then it is well-known that the $L_\infty$ morphisms from $\g_1$ to $\g_2$ are in 1-1 correspondence to the solutions of the Maurer-Cartan equation in some dg Lie algebra $\Bbbk(\g_1,\g_2)$. Then…
We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that one can soundly interpret dependent products and sums in it.…
We put a model structure on the category of categories internal to simplicial sets whose weak equivalences are reflected by the nerve functor to bisimplicial sets with Rezk's model structure. This model structure is shown to be Quillen…
We survey recent classification theorems for expansive matrices that generate the same anisotropic homogeneous Triebel-Lizorkin function space or sequence space. The function spaces are classified precisely by those matrices for which their…
We give a rigorous account and prove continuity properties for the correspondence between almost flat bundles on a triangularizable compact connected space and the quasi-representations of its fundamental group. For a discrete countable…
We study homotopy theory of the category of spectral sequences with respect to the class of weak equivalences given by maps which are quasi-isomorphisms on a fixed page. We introduce the category of extended spectral sequences and show that…
We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler…
The theory of $N$-complexes is a generalization of both ordinary chain complexes and graded objects. Hence it yields deeper insight in the structure of these and offers a broader range of applications. This work generalizes the tensor…
This chapter, written for "Stable categories and structured ring spectra," edited by Andrew J. Blumberg, Teena Gerhardt, and Michael A. Hill, surveys the history of homotopical categories, from Gabriel and Zisman's categories of fractions…
Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…
We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial…
We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZ-algebra spectra. Namely, we construct Quillen equivalences between the Quillen model categories of (unbounded) differential graded…
In this paper we construct new categorical models for the identity types of Martin-L\"of type theory, in the categories Top of topological spaces and SSet of simplicial sets. We do so building on earlier work of Awodey and Warren, which has…
If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site…
We give elementary applications of quasi-homomorphisms to growth problems in groups. A particular case concerns the number of torsion elements required to factorise a given element in the mapping class group of a surface.
A class of Cantor-type spaces and related geometric structures are discussed.
The category of metric spaces is a subcategory of quasi-metric spaces. In this paper the notion of entropy for the continuous maps of a quasi-metric space is extended via spanning and separated sets. Moreover, two metric spaces that are…
The moduli spaces refered to are topological spaces whose path components parametrize homotopy types. Such objects have been studied in two separate contexts: rational homotopy types, in the work of several authors in the late 1970's; and…
We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…