“对偶范畴”的版本历史

2023年8月20日 (星期日)

• 当前之前 14:402023年8月20日 (日) 14:40 Gsxab 留言 贡献 966字节 +966 创建页面，内容为“{{InfoBox |name=对偶范畴 |eng_name=opposite category |aliases=反向范畴,逆范畴 }} '''对偶范畴'''('''opposite category''')指一个范畴反转全部箭头得到的新范畴。 == 定义 == 对范畴 <math>\mathscr{C}</math> ,记范畴 <math>\mathscr{C}^\mathrm{op}</math> ： * 对象类 <math>\mathrm{Obj}(\mathscr{C}^\mathrm{op}) =\mathrm{Obj}(\mathscr{C})</math> ； * 从对象 <math>A</math> 到 <math>B</math> 的态射集合 <math>\mathrm{Hom}…”