Related papers: Categorical generalisations of quantum double mode…

We introduce a notion of ``$n$-dual'' to a simplicial vector space for $n\ge 0$. Coming with it, there is a canonical pairing, which we show to be non-degenerate up to homotopy for homotopy $n$-types. As a result this notion of duality is…

For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…

We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory…

Let $ Aut_{mHH}(H)$ denote a set of all automorphisms of a monoidal Hopf algebra $H$ with bijective antipode in the sense of Caenepeel S. and Goyvaerts I. (Commun. Algebra 39, 2216-2240, 2011) and let $G$ be a crossed product group $…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

We show that Turaev's group-coalgebras and Hopf group-coalgebras are coalgebras and Hopf algebras in a symmetric monoidal category, which we call the Turaev category. A similar result holds for group-algebras and Hopf group-algebras. As an…

It is shown that in various categories, including many consisting of maps or hypermaps, oriented or unoriented, of a given hyperbolic type, every countable group $A$ is isomorphic to the automorphism group of uncountably many non-isomorphic…

We classify the cosemisimple Hopf algebras whose corepresentation semi-ring is isomorphic to that of GL(2). This leads us to define a new family of Hopf algebras which generalize the quantum similitude group of a non-degenerate bilinear…

A Hopf monoid (in Joyal's category of species) is an algebraic structure akin to that of a Hopf algebra. We provide a self-contained introduction to the theory of Hopf monoids in the category of species. Combinatorial structures which…

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 associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible…

We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…

We introduce the notion of generalized hyperpolygon, which arises as a representation, in the sense of Nakajima, of a comet-shaped quiver. We identify these representations with rigid geometric figures, namely pairs of polygons: one in the…

Let G be a connected reductive group. In this paper we are studying the invariant theory of symplectic G-modules. Our main result is that the invariant moment map is equidimensional. We deduce that the categorical quotient is a fibration…

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…

Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories…

Using a homological invariant together with an obstruction class in a certain Ext^2-group, we may classify objects in triangulated categories that have projective resolutions of length two. This invariant gives strong classification results…

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…

We construct a degree-type otopy invariant for equivariant gradient local maps in the case of a real finite dimensional orthogonal representation of a compact Lie group. We prove that the invariant establishes a bijection between the set of…

We review the problem of finding a general framework within which one can construct quantum theories of non-standard models for space, or space-time. The starting point is the observation that entities of this type can typically be regarded…