Closed categories, star-autonomy, and monoidal comonads
Category Theory
2010-03-03 v1
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.
Keywords
Cite
@article{arxiv.0712.0418,
title = {Closed categories, star-autonomy, and monoidal comonads},
author = {Craig Pastro and Ross Street},
journal= {arXiv preprint arXiv:0712.0418},
year = {2010}
}
Comments
25 pages