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.
|Number of pages||27|
|Journal||Journal of Algebra|
|Publication status||Published - Jun 1 2009|
All Science Journal Classification (ASJC) codes
- Algebra and Number Theory