系列分集
范畴等价
equivalence of categories
范畴等价允许来回映射后的对象只与原对象同构。沿着两个函子的复合画箭头,再看自然同构把哪两条路线连起来。
DanielChanMaths · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Category theory · 2021-04-30
系列分集
equivalence of categories
范畴等价允许来回映射后的对象只与原对象同构。沿着两个函子的复合画箭头,再看自然同构把哪两条路线连起来。
DanielChanMaths · 系列收录