Related papers: Note on star-autonomous comonads

This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly's and Mac Lane's coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial…

We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. Indeed, any monoidal adjunction between autonomous…

A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. We define the term "quantum category". The definition of antipode for a…

We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated…

We discuss cyclic star-autonomous categories; that is, unbraided star- autonomous categories in which the left and right duals of every object p are linked by coherent natural isomorphism. We settle coherence questions which have arisen…

The notion of inner linear Hopf algebra is a generalization of the notion of discrete linear group. In this paper, we prove two general results that enable us to enlarge the class of Hopf algebras that are known to be inner linear: the…

We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We…

This paper determines what structure is needed for internal homs in a monoidal category C to be liftable to the category C^G of Eilenberg-Moore coalgebras for a monoidal comonad G on C. We apply this to lift star-autonomy with the view to…

A star-like isotopy for oriented links in 3-space is an isotopy which uses only Reidemeister II moves with opposite orientations and Reidemeister III moves with alternating orientations when checking the strands clockwise (or…

We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal M$. We regard them as bimonoids in the duoidal hom-category $\mathcal M(M,M)$, and generalize to that setting various conditions…

In this paper we develop star topological and topological group-groupoid structures of monodromy groupoid and prove that the monodromy groupoid of a topological group-groupoid is also a topological group-groupoid.

In this paper we define and study the algebraic conterpart of sovereign monoidal categories : cosovereign Hopf algebras.

This paper gives a simple presentation of the free star-autonomous category over a category, based on Eilenberg-Kelly-MacLane graphs and Trimble rewiring, yielding a full coherence theorem: the commutativity of diagrams of canonical maps is…

We provide an explicit construction of Hopf categories associated to comonoidal functors, generalizing \v{S}evera's construction of Hopf monoids through M-adapted functors. We discuss the example of the Hopf category whose underlying class…

The notion of local subgroupoid as a generalisation of a local equivalence relation was defined in a previous paper by the first two authors. Here we use the notion of star path connectivity for a Lie groupoid to give an important new class…

We discuss an example of a triangulated Hopf category related to SL(2). It is an equivariant derived category equipped with multiplication and comultiplication functors and structure isomorphisms. We prove some coherence equations for…

This is a survey of results obtained jointly with E. Aljadeff and published in Adv. Math. 218 (2008), 1453-1495. We explain how to set up a theory of polynomial identities for comodule algebras over a Hopf algebra, and concentrate on the…

We study integrals of Hopf monoids in duoidal endohom categories of naturally Frobenius map monoidales in monoidal bicategories. We prove two Maschke type theorems, relating the separability of the underlying monoid and comonoid,…

Descent theory for linear categories is developed. Given a linear category as an extension of a diagonal category, we introduce descent data, and the category of descent data is isomorphic to the category of representations of the diagonal…

Hopf algebroids are generalization of Hopf algebras over non-commutative base rings. It consists of a left- and a right-bialgebroid structure related by a map called the antipode. However, if the base ring of a Hopf algebroid is commutative…