Related papers: Tannaka-Krein duality for Hopf algebroids
We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This…
We introduce the notion of `bar category' by which we mean a monoidal category equipped with additional structure formalising the notion of complex conjugation. Examples of our theory include bimodules over a $*$-algebra, modules over a…
Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include…
For any ring R the category of monomorphisms is a full subcategory of the morphsim category over R, where the latter is equivalent to the module category of the triangular matrix ring with entries the ring R. In this work, we consider the…
Motivated by the work of of A. Zelevinsky on positive self-adjoint Hopf algebras, we define what we call a symmetric self-adjoint Hopf structure for a certain kind of semisimple abelian categories. It is known that every positive…
We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This…
We study Kan extensions in three weakenings of the Eilenberg-Moore double category associated to a double monad, that was introduced by Grandis and Par\'e. To be precise, given a normal oplax double monad $T$ on a double category $\mathcal…
The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category…
The principal aim of this note is to give an elementary proof of the fact that any two fiber functors of a Tannakian category are locally isomorphic. This builds on an idea of Deligne concerning scalar extensions of Tannakian categories and…
Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in…
We develop a suitable version of the stable module category of a finite group G over an arbitrary commutative ring k. The purpose of the construction is to produce a compactly generated triangulated category whose compact objects are the…
We give a systematic description of the cyclic cohomology theory of Hopf algebroids in terms of its associated category of modules. Then we introduce a dual cyclic homology theory by applying cyclic duality to the underlying cocyclic…
We show that the category of corings over a fixed base ring with local units is equivalent to the category of comonads in (right) unital modules whose underlying functors preserve inductive limits. Changing base rings, we prove a…
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…
The modular group algebra of an elementary abelian p-group is isomorphic to the restricted enveloping algebra of commutative restricted Lie algebra. The different ways of regarding this algebra result in different Hopf algebra structures…
We show that every essentially small finitely semisimple k-linear additive spherical category in which k=End(1) is a field, is equivalent to its dual over the long canonical forgetful functor. This includes the special case of modular…
For a self-orthogonal module $T$, the relation between the quotient triangulated category $D^b(A)/K^b({\rm add} T)$ and the stable category of the Frobenius category of $T$-Cohen-Macaulay modules is investigated. In particular, for a…
Let $H$ be a Hopf algebra in a braided rigid monoidal category $\mathcal{V}$ admitting a coend $C$. We define a ``coend element'' of $H$ to be a morphism from $C$ to $H$. We then study certain coend elements of $H$, which generalize…
Given a finite modular tensor category, we associate with each compact surface with boundary a cochain complex in such a way that the mapping class group of the surface acts projectively on its cohomology groups. In degree zero, this action…
We study finitary 2-categories associated to dual projection functors for finite dimensional associative algebras. In the case of path algebras of admissible tree quivers (which includes all Dynkin quivers of type A) we show that the monoid…