Related papers: Homotopy coherent companionships and conjunctions

Methods are developed to relate the action of a principal fibration to relative Whitehead products in order to determine the homotopy type of certain spaces. The methods are applied to thoroughly analyze the homotopy type of the based loops…

We study group graded extensions of fusion 2-categories. As an application, we obtain a homotopy theoretic classification of fermionic strongly fusion 2-categories. We examine various examples in detail.

The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…

We show that any pasting diagram in any $(\infty,2)$-category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting scheme is the homotopy colimit of its cells as an…

There appeared not long ago a Reduction Formula for derived Hochschild cohomology, that has been useful e.g., in the study of Gorenstein maps and of rigidity w.r.t. semidualizing complexes. The formula involves the relative dualizing…

Given a double category D such that D_0 has pushouts, we characterize oplax/lax adjunctions between D and Cospan(D_0) such that the right adjoint is normal and restricts to the identity on D_0, where Cospan(D_0) denotes the double category…

Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become…

Given a family of model categories $\cal E \to \cal C$, we associate to it a homotopical category of derived, or Segal, sections $DSect(\cal C,\cal E)$ that models the higher-categorical sections of the localisation $L\cal E \to \cal C$.…

Motivated by the study of the interrelation between functorial and algebraic quantum field theory, we point out that on any locally trivial bundle of compact groups, representations up to homotopy are enough to separate points by means of…

Let $M$ denote a two-dimensional Moore space (so $H_2(M; \Z) = 0$), with fundamental group $G$. The $M$-cellular spaces are those one can build from $M$ by using wedges, push-outs, and telescopes (and hence all pointed homotopy colimits).…

This paper contains two results on how homotopy limits of topological spaces interact with connectivity. The first is a formula for the connectivity of the homotopy limit of diagrams shaped over suitably finite categories, in terms of the…

This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

We extend the usual notion of parallel transport along a path to triangulated surfaces. A homotopy of paths is lifted into a fibered category with connection and this defines a functor between the fibers above the boundary paths. These…

Let G be a group which is topologically a CW-complex, BG a classifying space for G, and A a discrete abelian group. To a central extension of G by A, one can associate a cohomology class in $H^2(BG,A)$. We show this association is…

Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is…

We define weak units in a semi-monoidal 2-category $\CC$ as cancellable pseudo-idempotents: they are pairs $(I,\alpha)$ where $I$ is an object such that tensoring with $I$ from either side constitutes a biequivalence of $\CC$, and $\alpha:…

For every adjunction of stable $\infty$-categories -- or more generally, in any locally stable $(\infty,2)$-category -- we give a simple procedure for inverting the twist and cotwist functors associated to this adjunction. As a consequence,…

We show that the two models of extensional type theory, those given by the category of equilogical spaces and by the effective topos, are homotopical quotients of categories of 2-groupoids.

We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…