Related papers: Cohomological Mackey 2-functors

We prove that Hochschild cohomology of a certain class of fully group-graded algebras is a Mackey functor. We use the machinery of transfer maps between the Hochschild cohomology of symmetric algebras.

Mackey functors provide the coefficient systems for equivariant cohomology theories. More generally, enriched presheaf categories provide a classification and organization for many stable model categories of interest. Changing enrichments…

We establish a novel approach to computing $G$-equivariant cohomology for a finite group $G$, and demonstrate it in the case that $G = C_{p^n}$. For any commutative ring spectrum $R$, we prove a symmetric monoidal reconstruction theorem for…

By results of Rognerud, a source algebra equivalence between two $p$-blocks of finite groups induces an equivalence between the categories of cohomological Mackey functors associated with these blocks, and a splendid derived equivalence…

We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…

In this paper it is shown that the RO(Z/2)-graded cohomology of a certain class of Rep(Z/2)-complexes, which includes projective spaces and Grassmann manifolds, is always free as a module over the cohomology of a point when the coefficient…

We show that any Abelian module category over the (degenerate or quantum) Heisenberg category satisfying suitable finiteness conditions may be viewed as a 2-representation over a corresponding Kac-Moody 2-category (and vice versa). This…

We compute the equivariant cohomology of complex projective spaces associated to finite-dimensional representations of $C_2$, using ordinary cohomology graded on representations of the fundamental groupoid, with coefficients in the Burnside…

We consider the 3-category $2\mathfrak{C}at$ whose objects are 2-categories, 1-morphisms are lax functors, 2-morphisms are lax transformations and 3-morphisms are modifications. The aim is to show that it carries interesting…

We show that, if one allows for curved deformations, the canonical map introduced in [KL09] between Morita deformations and second Hochschild cohomology of a dg algebra becomes a bijection. We also show that a bimodule induces an…

This note is a survey on the basic aspects of moduli theory along with some examples. In that respect, one of the purposes of this current document is to understand how the introduction of stacks circumvents the non-representability problem…

We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor…

As a sequel of Part I, we consider a filtration of Hodge cohomology groups indexed by divisors "at infinity", and prove that they are represented in the category of motives with modulus. In particular, we obtain a realisation functor of the…

We develop and extend the theory of Mackey functors as an application of enriched category theory. We define Mackey functors on a lextensive category $\E$ and investigate the properties of the category of Mackey functors on $\E$. We show…

We introduce the theory of biset functors defined on finite categories. Previously, biset functors have been defined on groups, and in that context they are closely related to Mackey functors. Standard examples on groups include…

Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…

Given a higher-rank graph $\Lambda$, we investigate the relationship between the cohomology of $\Lambda$ and the cohomology of the associated groupoid $G_\Lambda$. We define an exact functor between the abelian category of right modules…

Let $M$ be a topological monoid with homotopy group completion $\Omega BM$. Under a strong homotopy commutativity hypothesis on $M$, we show that $\pi_k (\Omega BM)$ is the quotient of the monoid of free homotopy classes $[S^k, M]$ by its…

Let $G$ be a finite group. In this paper, we first introduce a new notion, so-called the Mackey double category of $G$. Then we prove that the category of Mackey double categories and the category of Mackey functors of $G$ are equivalent.

We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the…