Abstract
This paper determines what structure is needed for internal homs in a monoidal category C to be liftable to the category CG of Eilenberg-Moore coalgebras for a monoidal comonad G on C. We apply this to lift *-autonomy with the view to recasting the definition of quantum groupoid.
Original language | English |
---|---|
Pages (from-to) | 3494-3520 |
Number of pages | 27 |
Journal | Journal of Algebra |
Volume | 321 |
Issue number | 11 |
DOIs | |
Publication status | Published - Jun 1 2009 |
Externally published | Yes |
All Science Journal Classification (ASJC) codes
- Algebra and Number Theory