Liftable pairs of functors and initial objects

DOI10.1007/S12215-022-00765-4MaRDI QIDQ6159161zbMATH OpenOpenAlexFDO

Authors Alessandro Ardizzoni, Isar Goyvaerts, Claudia Menini

Publication date 1 June 2023

Published in Rendiconti del Circolo Matematico di Palermo (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

group graded vector spacesinitial objectsliftable pairsmonoidal categoriesweakly coreflective subcategories

Mathematics Subject Classification ID

Graded rings and modules (associative rings and algebras) (16W50) Monoidal categories, symmetric monoidal categories (18M05)

Abstract: Let $mathcalA$ and $mathcalB$ be monoidal categories and let $R:mathcalAightarrowmathcalB$ be a lax monoidal functor. If $R$ has a left adjoint $L$, it is well-known that the two adjoints induce functors $overlineR=sfAlg(R):sfAlg(mathcalA)ightarrowsfAlg(mathcalB)$ and $underlineL=sfCoalg(L):sfCoalg(mathcalB)ightarrowsfCoalg(mathcalA)$ respectively. The pair $(L,R)$ is called "liftable" if the functor $overlineR$ has a left adjoint and if the functor $underlineL$ has a right adjoint. A pleasing fact is that, when $mathcalA$, $mathcalB$ and $R$ are moreover braided, a liftable pair of functors as above gives rise to an adjunction at the level of bialgebras. In this note, sufficient conditions on the category $mathcalA$ for $overlineR$ to possess a left adjoint, are given. Natively these conditions involve the existence of suitable colimits that we interpret as objects which are simultaneously initial in four distinguished categories (among which the category of epi-induced objects), allowing for an explicit construction of $overlineL$, under the appropriate hypotheses. This is achieved by introducing a relative version of the notion of weakly coreflective subcategory, which turns out to be a useful tool to compare the initial objects in the involved categories. We apply our results to obtain an analogue of Sweedler's finite dual for the category of vector spaces graded by an abelian group $G$ endowed with a bicharacter. When the bicharacter on $G$ is skew-symmetric, a lifted adjunction as mentioned above is explicitly described, inducing an auto-adjunction on the category of bialgebras "colored" by $G$.

Recommendations

• scientific article; zbMATH DE number 4057747
• Adjoint functors and equivalences of subcategories
• Adjoint and Frobenius Pairs of Functors for Corings
• On the scarcity of contravariant left adjunctions

Cites work

• A duality theorem for hope module algebras over dedekind rings
• Categories tannakiennes
• Coalgebras over a commutative ring
• Coreflective Subcategories
• Dual adjunctions between algebras and coalgebras
• Dual coalgebras of algebras over commutative rings
• Examples of pointed color Hopf algebras.
• Generalizations of the Sweedler dual
• Generators for comonoids and universal constructions
• Graded and filtered rings and modules
• scientific article; zbMATH DE number 4181568 (Why is no real title available?)
• scientific article; zbMATH DE number 3425823 (Why is no real title available?)
• scientific article; zbMATH DE number 3747352 (Why is no real title available?)
• scientific article; zbMATH DE number 3587194 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3309240 (Why is no real title available?)
• scientific article; zbMATH DE number 3335055 (Why is no real title available?)
• Injective Structures
• Introduction to bicategories
• Kan extensions in enriched category theory
• Lie coalgebras
• Limits of coalgebras, bialgebras and Hopf algebras.
• Milnor-Moore categories and monadic decomposition
• Monadic vs adjoint decomposition
• Monoidal functors, species and Hopf algebras
• On Categories of Monoids, Comonoids, and Bimonoids
• On corings and comodules.
• On the duality of generalized Lie and Hopf algebras.
• Reports of the Midwest Category Seminar. II

Cited in

(1)

• Pre-rigid monoidal categories

This page was built for publication: Liftable pairs of functors and initial objects

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