主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2023年8月20日 (日) 14:40 Gsxab 留言 贡献创建了页面对偶范畴 （创建页面，内容为“{{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}…”）