Related papers: A Quillen model structure for bigroupoids and pseu…

We define a notion of groupoidal 2-quasi-categories and show that they are the fibrant objects of a model structure on the category of $\Theta_2$-sets. We show that this model category is Quillen equivalent to the Kan-Quillen model category…

Q-groupoids and Q-algebroids are, respectively, supergroupoids and superalgebroids that are equipped with compatible homological vector fields. These new objects are closely related to the double structures of Mackenzie; in particular, we…

We introduce a new model structure on the category of dendroidal spaces, designed to provide a further model for the homotopy theory of $\infty$-operads. This model is directly analogous to a recent construction on the category of…

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…

We provide a more economical refined version of Evrard's categorical cocylinder factorization of a functor [Ev1,2]. We show that any functor between small categories can be factored into a homotopy equivalence followed by a (co)fibred…

We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and…

In this paper, we recall Quillen's plus construction for high-dimensional smooth manifolds and the solution to the group extension problem. We then develop a geometric procedure due for producing a "reverse" to the plus construction, a…

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

Coherent strings of composable morphisms play an important role in various important constructions in abstract stable homotopy theory (for example algebraic K-theory or higher Toda brackets) and in the representation theory of finite…

We construct a cofibrantly generated model structure on the category of flows such that any flow is fibrant and such that two cofibrant flows are homotopy equivalent for this model structure if and only if they are S-homotopy equivalent.…

In this paper, we study weakly unital dg categories as they were defined by Kontsevich and Soibelman [KS, Sect.4]. We construct a cofibrantly generated Quillen model structure on the category $\mathrm{Cat}_{\mathrm{dgwu}}(\Bbbk)$ of small…

We build a model structure from the simple point of departure of a structured interval in a monoidal category - more generally, a structured cylinder and a structured co-cylinder in a category.

We associate to a bimonoidal functor, i.e. a bifunctor which is monoidal in each variable, a nonabelian version of a biextension. We show that such a biextension satisfies additional triviality conditions which make it a bilinear analog of…

Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…

This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorphism coherence is equivalent to the coherence theory of…

We establish a model structure on the category of strict omega-categories. The constructions leading to the model structure in question are expressed entirely within the scope of omega-categories, building on a set of generating…

Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these frameworks using central concepts of double category theory. We show that,…

In this work, we propose a novel framework for defining the dual structure of a spinor. This construction relies on the basis elements of the Clifford algebra, leading to a covariant structure that embeds the dual. The formulation includes…

Given a category with a bifunctor and natural isomorphisms for associativity, commutativity and left and right identity we do not assume that extra constraining diagrams hold. We introduce groupoids of coupling trees to describe a version…

Let $R$ by a right coherent ring and $R$-Mod denote the category of left $R$-modules. We show that there is an abelian model structure on $R$-Mod whose cofibrant objects are precisely the Gorenstein flat modules. Employing a new method for…