CATEGORIES ENRICHED OVER A QUANTALOID: ALGEBRAS

被引:0
|
作者
Pu, Qiang [1 ]
Zhang, Dexue [1 ]
机构
[1] Sichuan Univ, Sch Math, Chengdu 610064, Peoples R China
来源
基金
中国国家自然科学基金;
关键词
Quantaloid; Q-category; complete Q-category; completely distributive Q-category; Q-powerset; Eilenberg-Moore algebra; monadicity;
D O I
暂无
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Given a small quantaloid Q with a set of objects Q(0), it is proved that complete skeletal Q-categories, completely distributive skeletal Q-categories, and Q-powersets of Q-typed sets are all monadic over the slice category of Set over Q(0).
引用
收藏
页码:751 / 774
页数:24
相关论文
共 50 条