Related papers: A Cartan-Eilenberg approach to Homotopical Algebra

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-L\"of type theory. This is done by showing that the comprehension category associated to a type-theoretic…

A compact T-algebra is an initial T-algebra whose inverse is a final T-coalgebra. Functors with this property are said to be algebraically compact. This is a very strong property used in programming semantics which allows one to interpret…

We prove that a weak equivalence between two cofibrant (colored) props in chain complexes induces a Dwyer-Kan equivalence between the simplicial localizations of the associated categories of algebras. This homotopy invariance under base…

We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen…

We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…

We establish a foundational homotopical framework for ternary $\Gamma$-modules by establishing that $\mathcal{T}\text{-Mod}$ is a Barr-exact, monoidal closed category. We resolve the long-standing "additivity obstruction" in non-binary…

We define a right Cartan-Eilenberg structure on the category of Kan's combinatorial spectra, and the category of sheaves of such spectra, assuming some conditions. In both structures, we use the geometric concept of homotopy equivalence as…

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with…

The use of homological and homotopical devices, such as Tor and Andr\'e-Quillen homology, have found substantial use in characterizing commutative algebras. The primary category setting has been differentially graded algebras and modules,…

We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…

Let $F\colon \mathcal{C} \to \mathcal{E}$ be a functor from a category $\mathcal{C}$ to a homological (Borceux-Bourn) or semi-abelian (Janelidze-M\'arki-Tholen) category $\mathcal{E}$. We investigate conditions under which the homology of…

In his book on model categories, Hovey asked whether the 2-category $\mathbf{Mod}$ of model categories admits a "model 2-category structure" whose weak equivalences are the Quillen equivalences. We show that $\mathbf{Mod}$ does not have…

After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…

We prove that a homotopy cofinal functor between small categories induces a weak equivalence between homotopy colimits of pointed simplicial sets. This is used to prove that the non-Abelian homology of a group diagram is isomorphic to the…

We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straightening functor. We show that using the co-reflector, one can…

We give combinatorial models for the homotopy type of complements of elliptic arrangements (i.e., certain sets of abelian subvarieties in a product of elliptic curves). We give a presentation of the fundamental group of such spaces and, as…

In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at…

We construct a flat model structure on the category $_{\mathcal{Q},R}{\mathsf{Mod}}$ of additive functors from a small preadditive category $\mathcal{Q}$ satisfying certain conditions to the module category $_{R}{\mathsf{Mod}}$ over an…

We describe a construction that to each algebraically specified notion of higher-dimensional category associates a notion of homomorphism which preserves the categorical structure only up to weakly invertible higher cells. The construction…