Related papers: The HELP-Lemma and its converse in Quillen model c…
We study the 2-category of elements from an abstract point of view. We generalize to dimension 2 the well-known result that the category of elements can be captured by a comma object that also exhibits a pointwise left Kan extension. For…
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 provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…
If a locally cartesian closed category carries a weak factorisation system, then the left maps are stable under pullback along right maps if and only if the right maps are closed under pushforward along right maps. We refer to this…
We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…
We generalize Quillen's Theorem A to diagrams of lax 2-functors which commute up to transformation. It follows from a special case of this result that 2-categories are models for homotopy types.
In hom-associative structures, the associativity condition $(xy)z=x(yz)$ is twisted to $\alpha(x)(yz) = (xy)\alpha(z)$, with $\alpha$ a map in the appropriate category. In the present paper, we consider two different unitality conditions…
We study $\omega$-equifibrations between weak $\omega$-categories in the sense of Batanin--Leinster. We define $\omega$-equifibrations as a natural weak $\omega$-categorical analogue of isofibrations between categories, and show that they…
We compare existence and equivariance phenomena for weak moment maps and homotopy moment maps in multisymplectic geometry.
We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an…
Given a bicategory C and a family W of arrows of C, we give conditions on the pair (C,W) that allow us to construct the bicategorical localization with respect to W by dealing only with the 2-cells, that is without adding objects or arrows…
In this paper we describe two ways on which cofibred categories give rise to bisimplicial sets. The "fibred nerve" is a natural extension of Segal's classical nerve of a category, and it constitutes an alternative simplicial description of…
We prove that an object $U$ in a triangulated category with coproducts is silting if and only if it is a (weak) generator of the category, the orthogonal class $U^{\perp_{>0}}$ contains $U$, and $U^{\perp_{>0}}$ is closed under direct sums.…
We provide general conditions under which the algebras for a coloured operad in a monoidal model category carry a Quillen model structure, and prove a Comparison Theorem to the effect that a weak equivalence between suitable such operads…
We observe that the notion of a trivial Serre fibration, a Serre fibration, and being contractible, for finite CW complexes, can be defined in terms of the Quillen lifting property with respect to a single map M-->/\ of finite topological…
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…
The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for…
The classifying spaces of cobordisms of singular maps have two fairly different constructions. We expose a homotopy theoretical connection between them. As a corollary we show that the classifying spaces in some cases have a simple product…
The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net…
On construit des foncteurs de formes differentielles generalisees. Ceux-ci, dans le cas d'espaces nilpotents de type fini, determinent le type d'homotopie faible des espaces. Ils sont munis, d'une maniere elementaire et naturelle, de…