Various concerns suggest looking for internal co-categories in categories with strong logical structure. It turns out that in any coherent category epsilon, all co-categories are co-equivalence relations.
科研之友
微信
新浪微博
Facebook
分享链接
