Related papers: Cofibrantly generated model structures for functor…

We give a formula for homotopy limits and homotopy colimits of diagrams of chain complexes using the cobar and bar constructions, also known as the Bousfield--Kan formula. Along the way, we show that the Bousfield--Kan formula computes…

This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…

In this paper we define and compare several new Quillen model structures which present the homotopy theory of algebraic quantum field theories. In this way, we expand foundational work of Benini et al. by providing a richer framework to…

We prove that a model structure on a relative $\infty$-category $(M,W)$ gives an efficient and computable way of accessing the hom-spaces $hom_{M[[W^{-1}]]}(x,y)$ in the localization. More precisely, we show that when the source $x \in M$…

Let $R$ be a ring and Ch($R$) the category of chain complexes of $R$-modules. We put an abelian model structure on Ch($R$) whose homotopy category is equivalent to $K(Proj)$, the homotopy category of all complexes of projectives. However,…

Suppose that $F: \mathcal{N} \to \mathcal{M}$ is a functor whose target is a Quillen model category. We give a succinct sufficient condition for the existence of the right-induced model category structure on $\mathcal{N}$ in the case when…

We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…

Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding…

We show that every combinatorial model category can be obtained, up to Quillen equivalence, by localizing a model category of diagrams of simplicial sets. This says that any combinatorial model category can be built up from a category of…

If M is a model category and Z is an object of M, then there are model category structures on the category of objects of M over Z and the category of objects of M under Z under which a map is a cofibration, fibration, or weak equivalence if…

We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…

We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any…

Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison…

This paper examines the coefficient problems for the class of semigroup generators, a topic in complex dynamics that has recently been studied in context of geometric function theory. Further, sharp bounds of coefficient functional such as…

We work out the details of a correspondence observed by Goodwillie between cosimplicial spaces and good functors from a category of open subsets of the interval to the category of compactly generated weak Hausdorff spaces. Using this, we…

We prove and explain several classical formulae for homotopy (co)limits in general (combinatorial) model categories which are not necessarily simplicially enriched. Importantly, we prove versions of the Bousfield-Kan formula and the fat…

We use Cisinski's machinery to construct and study model structures on the category of simplicial sets whose classes of fibrant objects generalize quasi-categories. We identify a lifting condition which captures the homotopical behavior of…

We give an account of Bousfield localisation and colocalisation for one-dimensional model categories---ones enriched over the model category of $0$-types. A distinguishing feature of our treatment is that it builds localisations and…

The aim of this paper is to study convergence of Bousfield-Kan completions with respect to the 1-excisive approximation of the identity functor and exotic convergence of the Taylor tower of the identity functor, for algebras over operads in…

Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, including quantum…