幺半 Eilenberg-Moore 构造与双代数胚
量子代数
2007-05-23 v2 范畴论
摘要
具有左伴随的幺半函子 U:C --> M 以一种泛方式确定 M 上 oplax 幺半自函子范畴中的幺半 T。此类单子将被称为双单子。将双单子视为抽象的“量子群胚”，我们导出左可伴随幺半函子与双单子之间的 Tannaka 对偶。双代数胚，即 Takeuchi 的 x_R-双代数，出现在 T 同时具有右伴随时的特例。Street 的单子 2-范畴进而导向双代数胚之 2-范畴的自然定义。
引用
@article{arxiv.math/0208198,
title = {The monoidal Eilenberg-Moore construction and bialgebroids},
author = {K. Szlachanyi},
journal= {arXiv preprint arXiv:math/0208198},
year = {2007}
}
备注
39 pages, AMSLaTeX