On finitary functors and their presentations.

Journal of Computer and System Sciences(2015)

引用 29|浏览81
暂无评分
摘要
Finitary endofunctors of locally presentable categories are proved to have equational presentations. Special attention is being paid to the category of complete metric spaces and two endofunctors: the Hausdorff functor of all compact subsets and the Kantorovich functor of all tight measures.
更多
查看译文
关键词
Finitary functors,Hausdorff functor,Kantorovich functor,Presentation of functors
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要