Related papers: Higher categories, colimits, and the blob complex

A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…

We complete the discrete cluster categories of type $\mathbb{A}$ as defined by Igusa and Todorov, by embedding such a discrete cluster category inside a larger one, and then taking a certain Verdier quotient. The resulting category is a…

Let C be a small category and k a field. There are two interesting mathematical subjects: the category algebra kC and the classifying space |C|=BC. We study the ring homomorphism HH*(kC) --> H*(|C|,k) and prove it is split surjective. This…

We set up a homological algebra for N-complexes, which are graded modules together with a degree -1 endomorphism d satisfying d^N=0. We define Tor- and Ext-groups for N-complexes and we compute them in terms of their classical counterparts…

The trace (or zeroth Hochschild homology) of Khovanov's Heisenberg category is identified with a quotient of the algebra W_{1+\infty}. This induces an action of W_{1+\infty} on symmetric functions.

In this paper we give a very natural description of the bijections between the minimal CW-complex homotopy equivalent to the complement of a supersolvable arrangement $\mathcal{A}$, the $\textbf{nbc}$ basis of the Orlik-Solomon algebra…

We develop foundations for the category theory of $\infty$-categories parametrized by a base $\infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$…

We show that the repetitive higher cluster category of type A_n, defined as the orbit category D^b(mod kA_n)/(tau^{-1}[m])^p, is equivalent to a category defined on a subset of diagonals in a regular p(nm+1)-gon. This generalizes the…

The study of topological quantum field theories increasingly relies upon concepts from higher-dimensional algebra such as n-categories and n-vector spaces. We review progress towards a definition of n-category suited for this purpose, and…

A general method for lifting weak factorization systems in a category S to model category structures on simplicial objects in S is described, analogously to the lifting of cotorsion pairs in Abelian categories to model category structures…

The symplectic blob algebra is a physically motivated quotient of the Hecke algebra $H(\tilde{C}_n)$ with a diagram calculus. We find the blocks for the symplectic blob algebra for all specialisations of its parameters over the complex…

Using an idea due to R.Thomason, we define a "homology theory" on the category of rings which satisfies excision, exactness, homotopy (in the algebraic sense) and periodicity of order 4. For regular noetherian rings, we find P. Balmer's…

Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C.…

Given any modular category $\mathcal{C}$ over an algebraically closed field $k$, we extract a sequence $(M_g)_{g\geq 0}$ of $\mathcal{C}$-bimodules. We show that the Hochschild chain complex $CH(\mathcal{C};M_g)$ of $\mathcal{C}$ with…

Cube categories are used to encode higher-dimensional categorical structures. They have recently gained significant attention in the community of homotopy type theory and univalent foundations, where types carry the structure of such higher…

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…

A gauge theory is associated with a principal bundle endowed with a connection permitting to define horizontal lifts of paths. The horizontal lifts of surfaces cannot be defined into a principal bundle structure. An higher gauge theory is…

We show that the quotient of the continuous cluster category $\mathcal C_\pi$ modulo the additive subcategory generated by any cluster is an abelian category and we show that it is isomorphic to the category of infinite length modules over…

Let X be a complex symplectic manifold. By showing that any Lagrangian subvariety has a unique lift to a contactification, we associate to X a triangulated category of regular holonomic microdifferential modules. If X is compact, this is a…

In a survey paper in 2011, Amiot proposed a conjectural characterisation of the cluster categories which were conceived in the mid 2000s to lift the combinatorics of Fomin-Zelevinsky's cluster algebras to the categorical level. This paper…