Related papers: The HELP-Lemma and its converse in Quillen model c…

This note explores the link between the q-model structure of flows and the Ilias model structure of topologically enriched small categories. Both have weak equivalences which induce equivalences of fundamental (semi)categories. The Ilias…

Let $\mathscr{M}$ be a combinatorial and left proper model category, possibly with a monoidal structure. If $\mathscr{O}$ is either a monad on $\mathscr{M}$ or an operad enriched over $\mathscr{M}$, define a QS-algebra in $\mathscr{M}$ to…

We show that in a weak globular $\omega$-category, all composition operations are equivalent and commutative for cells with sufficiently degenerate boundary, which can be considered a higher-dimensional generalisation of the Eckmann-Hilton…

We define the notion of {\em classifying space} of a topological stack and show that every topological stack \X has a classifying space X which is a topological space well-defined up to weak homotopy equivalence. Under a certain…

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…

Let $\mathcal{C}$ be a finitely bicomplete category and $\mathcal{W}$ a subcategory. We prove that the existence of a model structure on $\mathcal{C}$ with $\mathcal{W}$ as subcategory of weak equivalence is not first order expressible.…

Badzioch showed that in the category of simplicial sets each homotopy algebra of a Lawvere theory is weakly equivalent to a strict algebra. In seeking to extend this result to other contexts Rosicky observed a key point to be that each…

For a discrete colored operad $P$, we construct an adjunction between the category of dendroidal sets over the nerve of $P$ and the category of simplicial $P$-algebras, and prove that when $P$ is $\Sigma$-free it establishes a Quillen…

We study the simplicial coalgebra of chains on a simplicial set with respect to three notions of weak equivalence. To this end, we construct three model structures on the category of reduced simplicial sets for any commutative ring R. The…

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…

The familiar construction of categories of fractions, due to Gabriel and Zisman, allows one to invert a class W of arrows in a category in a universal way. Similarly, bicategories of fractions allow one to invert a collection of arrows in a…

We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…

In previous works by the authors, a bifunctor was associated to any operadic twisting morphism, taking a coalgebra over a cooperad and an algebra over an operad, and giving back the space of (graded) linear maps between them endowed with a…

We show that the fibrant objects in the minimal model structure on the category of simplicial sets are characterized by a lifting condition with respect to maps which resemble the horn inclusions that define Kan complexes.

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

In this note, we construct a closed model structure on the category of $\mathbb{Z}/2\mathbb{Z}$-graded complexes of projective systems of ind-Banach spaces. When the base field is the fraction field $F$ of a complete discrete valuation ring…

We extend Goodwillie's classification of finitary linear functors to arbitrary small functors. That is we show that every small linear simplicial functor from spectra to simplicial sets is weakly equivalent to a filtered colimit of…

For a cofibrantly generated Quillen model category, we show that the cofibrant replacement functor constructed using the small object argument admits a cotriple structure. If all acyclic cofibrations are monomorphisms, the fibrant…

We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…

The Quillen-McCord theorem (aka Quillen fiber lemma) gives a sufficient condition on a map between classifying spaces of posetal categories to be a homotopy equivalence. Jonathan Ariel Barmak in his paper [arXiv:1005.0538] gives an…