Related papers: Antipodes of monoidal decomposition spaces

Motivated by the study of depth 2 Frobenius extensions we introduce a new notion of Hopf algebroid. It is a 2-sided bialgebroid with a bijective antipode which connects the two, left and right handed, structures. While all the interesting…

In this paper we introduce the notion of a Hopf C*-algebra and construct the counit and antipode. A Hopf C*-algebra is a C*-algebra with comultiplication satisfying some extra condition which makes possible the construction of the counit…

We investigate the reflection theory of Nichols algebras over arbitrary coquasi-Hopf algebras with bijective antipode, generalizing previous results restricted to the pointed cosemisimple setting [47]. By establishing a braided monoidal…

In [1] a new notion of Hopf algebroid has been introduced. It was shown to be inequivalent to the structure introduced under the same name in [17]. We review this new notion of Hopf algebroid. We prove that two Hopf algebroids are…

We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology. The negation is interpreted as the dual, linear proofs are interpreted as…

We present a complete classification of Hausdorff locally compact polycyclic monoids up to a topological isomorphism. A {\em polycyclic monoid} is an inverse monoid with zero, generated by a subset $\Lambda$ such that $xx^{-1}=1$ for any…

We introduce a variant on the graphical calculus of Cockett and Seely for monoidal functors and illustrate it with a discussion of Tannaka reconstruction, some of which is known and some of which is new. The new portion is: given a…

We prove that the trace of the $n$th power of the antipode of a Hopf algebra with the Chevalley property is a gauge invariant, for each integer $n$. As a consequence, the order of the antipode, and its square, are invariant under Drinfeld…

Generalized permutahedra are a family of polytopes with a rich combinatorial structure and strong connections to optimization. We prove that they are the universal family of polyhedra with a certain Hopf algebraic structure. Their antipode…

In arXiv:1709.07504 Aguiar and Ardila give a Hopf monoid structure on hypergraphs as well as a general construction of polynomial invariants on Hopf monoids. Using these results, we define in this paper a new polynomial invariant on…

We develop the theory of weak bimonoids in braided monoidal categories and show them to be quantum categories in a certain sense. Weak Hopf monoids are shown to be quantum groupoids. Each separable Frobenius monoid R leads to a weak Hopf…

Let $A$ be an algebra with identity and $\Delta:A\to A\otimes A$ a coproduct that admits a counit. If there exist a faithful left integral and a faithful right integral, one can construct an antipode and $(A,\Delta)$ is a Hopf algebra. This…

We extend the decomposition conjecture to 2d quantum field theories with a gauged $\text{Rep}(H)$ symmetry category for $H$ a finite-dimensional semisimple Hopf algebra with $\text{Rep}(G)$ trivially-acting and $\text{Vec}(\Gamma)$ the…

This is Part II in our multi-part series of papers developing the theory of a subclass of locally compact quantum groupoids ("quantum groupoids of separable type"), based on the purely algebraic notion of weak multiplier Hopf algebras. The…

For a general dyadic grid, we give a Calder\'{o}n-Zygmund type decomposition, which is the principle fact about the multilinear maximal function $\mathfrak{M}$ on the upper half-spaces. Using the decomposition, we study the boundedness of…

We identify a collection of primitive elements generating the Hopf algebra NCSym of symmetric functions in noncommuting variables and give a combinatorial formula for the antipode.

We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects…

We define an equivariant $K_0$-theory for \textit{Yetter-Drinfeld} algebras over a Hopf algebra with an invertible antipode. We then show that this definition can be generalized to all Hopf-module algebras. We show that there exists a…

Let A be a cogroup in the category of connected graded algebras over a commutative ring R. Let nu denote the inverse of A and chi the antipode of the underlying Hopf algebra of A. We clarify the differences and similarities of nu and chi,…

Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold…