n实验室完全可对偶对象

目录

上下文

单体类别

高级范畴理论

高等范畴理论

基本概念

基本定理

应用

模型

态射

函子

通用结构

额外属性和结构

1分类演示

二元性

目录

想法

A类可对偶对象在一个对称单体(∞,n)范畴 𝒞\数学{C}被称为完全可对偶的如果对偶单位和对偶单位各自的结构图都有伴随词,有伴随词等,直到水平(n个1)(n-1).

属性

共生假说-对称单体定理(∞,n)-函子已退出协边的(∞,n)-范畴其特点是它们在点上的价值,这是一个完全可二元化的对象。

示例

有限对象:

几何学单体范畴理论范畴理论
完美模块(-)可对偶对象压缩对象

工具书类

该定义出现在

审查:

2级和3级详细讨论:

上次修订时间:2023年9月21日07:55:41。请参阅历史获取所有贡献的列表。