主要公开日志
外观
所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
- 2024年1月11日 (四) 18:34 Gsxab 留言 贡献创建了页面函子 (创建页面,内容为“分类:范畴论 {{InfoBox |name=函子 |eng_name=functor }} {{InfoBox |name=共变函子 |eng_name=covariant functor }} {{InfoBox |name=反变函子 |eng_name=contravariant functor }} '''函子'''('''functor''')指范畴间保持态射合成关系的“映射”。 考虑到如果不是保持,而是刚好反转合成顺序,也保持了结构,称这种为'''反变函子'''('''contravariant functor'''),而称普通的函子为'''共变函子'''(…”)