n实验室完全可对偶对象
目录
上下文
单体类别
单体范畴
带编织物
带有对象的对偶
用对偶表示形态
带有痕迹
封闭式结构
特殊种类的产品
半简单性
态射
内部幺半群
示例
定理
在高等范畴理论中
高级范畴理论
高等范畴理论
基本概念
基本定理
应用
模型
态射
函子
通用结构
额外属性和结构
1分类演示
二元性
目录
想法
A类可对偶对象在一个对称单体(∞,n)范畴 被称为完全可对偶的如果对偶单位和对偶单位各自的结构图都有伴随词,有伴随词等,直到水平.
属性
由共生假说-对称单体定理(∞,n)-函子已退出协边的(∞,n)-范畴其特点是它们在点上的价值,这是一个完全可二元化的对象。
示例
工具书类
该定义出现在
审查:
2级和3级详细讨论:
上次修订时间:2023年9月21日07:55:41。请参阅历史获取所有贡献的列表。