Related papers: A higher Grothendieck construction

This paper deals with the homotopy theory of differential graded operads. We endow the Koszul dual category of curved conilpotent cooperads, where the notion of quasi-isomorphism barely makes sense, with a model category structure Quillen…

We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…

Let $\pi$ be a group. The aim of this paper is to construct the category of Yetter-Drinfeld modules over the quasi-Turaev group coalgebra $H=(\{H_\a\}_{\a\in\pi},\Delta,\varepsilon,S,\Phi)$, and prove that this category is isomorphic to the…

The sole purpose of this note is to introduce some elementary results on the structure and functoriality of Reedy model categories. In particular, I give a very useful little criterion to determine whether composition with a morphism of…

We survey the theory and applications of Goodwillie's calculus of homotopy functors and related topics.

Let $G$ be a finite group acting on a small category $I$. We study functors $X \colon I \to \mathscr{C}$ equipped with families of compatible natural transformations that give a kind of generalized $G$-action on $X$. Such objects are called…

We construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre fibrations and weak homotopy…

This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule…

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…

For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…

In this paper we study compact closed categories within the context of homotopical algebra. We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the…

The power structure over the Grothendieck (semi)ring of complex quasi-projective varieties constructed by the authors is used to express the generating series of classes of Hilbert schemes of zero-dimensional subschemes on a smooth…

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on "higher props," we show that the category of all small colored…

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…

We study the semi-topologization functor of Friedlander-Walker from the perspective of motivic homotopy theory. We construct a triangulated endo-functor on the stable motivic homotopy category $\mathcal{SH}(\C)$, which we call…

The Grothendieck construction establishes an equivalence between fibrations, a.k.a. fibred categories, and indexed categories, and is one of the fundamental results of category theory. Cockett and Cruttwell introduced the notion of…

This paper studies the existence of model category structures on algebras and modules over operads in monoidal model categories.

We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an…

Invited contribution to the Encyclopedia of Mathematical Physics. We give an introduction to the homotopical theory of higher categories, focused on motivating the definitions of the basic objects, namely $\infty$-categories and…

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.…