范畴理论
类别
函子
自然转化
猫
通用结构
可表示函子
伴随函子
限制/上极限
加权限额
结束/共同(coend)
Kan扩展
米田引理
伊斯贝尔对偶
格罗森迪克建筑
伴随函子定理
一元性定理
伴随提升定理
塔纳卡对偶
加布里埃尔·乌尔默对偶
小对象自变量
Freyd-Mitchell嵌入定理
类型理论与范畴理论的关系
层与拓扑理论
丰富范畴理论
高等范畴理论
编辑此侧栏
安内函子在上类别 𝒜\数学{A}是共指的如果它配备了自然转化到恒等函子.
安内函子 S公司:𝒜→𝒜S\colon\mathcal{A}\to\mathcal{A}被称为共指的如果它配备了自然转化 σ:S公司→身份证件 𝒜\西格玛\冒号S\至Id_\mathcal{A}到恒等函子在𝒜\数学{A}.
创建于2024年2月26日22:31:35。请参阅历史获取所有贡献的列表。