摘要：笛卡尔闭范畴中的状态单子是由乘积和指数之间的熟悉的伴随定义的。我们研究了它们的代数结构，并且证明了在基础范畴足够正则且指数是非空对象的情况下，指数函子是单降的。
作者：Francois Metayer
论文ID：math/0407251
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中