Closed categories, star-autonomy, and monoidal comonads
classification
🧮 math.CT
keywords
monoidalcategorystar-autonomyapplycategoriesclosedcoalgebrascomonad
read the original abstract
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 recasting the definition of quantum groupoid.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.