Pre-rigid monoidal categories

DOI10.2989/16073606.2022.2112106zbMATH Open1518.18011arXiv2201.03952OpenAlexW4294599994MaRDI QIDQ6170146FDOQ6170146

Authors: Alessandro Ardizzoni, Isar Goyvaerts, Claudia Menini 

Publication date: 15 August 2023

Published in: Quaestiones Mathematicae (Search for Journal in Brave)

Abstract: Liftable pairs of adjoint functors between braided monoidal categories in the sense of cite{GV-OnTheDuality} provide auto-adjunctions between the associated categories of bialgebras. Motivated by finding interesting examples of such pairs, we study general pre-rigid monoidal categories. Roughly speaking, these are monoidal categories in which for every object $X$, an object $X^{ast}$ and a nicely behaving evaluation map from $X^{ast}otimesX$ to the unit object exist. A prototypical example is the category of vector spaces over a field, where $X^{ast}$ is not a categorical dual if $X$ is not finite-dimensional. We explore the connection with related notions such as right closedness, and present meaningful examples. We also study the categorical frameworks for Turaev's Hopf group-(co)algebras in the light of pre-rigidity and closedness, filling some gaps in literature along the way. Finally, we show that braided pre-rigid monoidal categories indeed provide an appropriate setting for liftability in the sense of loc. cit. and we present an application, varying on the theme of vector spaces, showing how -- in favorable cases -- the notion of pre-rigidity allows to construct liftable pairs of adjoint functors when right closedness of the category is not available.

Full work available at URL: https://arxiv.org/abs/2201.03952

Recommendations

• Liftable pairs of functors and initial objects
• Coquasi-bialgebras with preantipode and rigid monoidal categories
• Freely adjoining monoidal duals
• A duality formalism in the spirit of Grothendieck and Verdier
• The square of the duality functor is monoidal

zbMATH Keywords

bialgebrasclosedTuraevliftable pairs of functorspre-rigidZunino and braided monoidal categories

Mathematics Subject Classification ID

Graded rings and modules (associative rings and algebras) (16W50) Bialgebras (16T10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Monoidal categories, symmetric monoidal categories (18M05) Braided monoidal categories and ribbon categories (18M15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Monoidal functors, species and Hopf algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tensor categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• On traced monoidal closed categories
• Title not available (Why is that?)
• Introduction to bicategories
• Title not available (Why is that?)
• Introduction to extensive and distributive categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coherence for compact closed categories
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Quasialgebra structure of the octonions
• Generalizations of the Sweedler dual
• On Categories of Monoids, Comonoids, and Bimonoids
• Monoidal categories in, and linking, geometry and algebra
• A Categorical Approach to Turaev's Hopf Group-Coalgebras
• Categories tannakiennes
• Some free constructions in realizability and proof theory
• Title not available (Why is that?)
• Fibered categories and the foundations of naive category theory
• A characterization of the borel-like subalgebras of quantum enveloping algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Hopf algebras and rigid monoidal categories
• Traces in monoidal categories
• Title not available (Why is that?)
• Basic Category Theory
• Adjunctions in monoidal categories
• On the duality of generalized Lie and Hopf algebras.
• Title not available (Why is that?)
• Decidable (= separable) objects and morphisms in lextensive categories
• Low Dimensional Group Cohomology as Monoidal Structures
• Cohomology for Bicomodules. Separable and Maschke functors
• How nice are free completions of categories?
• Bimonoids for hyperplane arrangements
• Constructing Differential Categories and Deconstructing Categories of Games
• Liftable pairs of functors and initial objects

Cited In (6)

• Preradical and radical functors in different categories
• Premonoidal categories as categories with algebraic structure
• Adjunctions and braided objects
• Rigidification of quasi-categories
• Pre-semihyperadditive Categories
• Weak rigid monoidal category

This page was built for publication: Pre-rigid monoidal categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6170146)