加载中…
2019-01-19
-Types in Categories of Coalgebras
Taichi Uemura
文献摘要
We construct -types in the category of coalgebras for a cartesian comonad. It generalizes the constructions of -types in presheaf toposes and gluing toposes.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本