探索
探索
讲义
小文章
讨论室
写作
写作
新页面
写作计划
上传文件
搜索
搜索
个人工具
创建账户
登录
通知
名字空间
模板
讨论
视图
查看
查看源代码
历史
模板: 高阶范畴论
高阶范畴论
基本概念
∞
-范畴
∞
-范畴
•
∞
-群胚
•
(
∞
,
1
)
-范畴
•
(
∞
,
1
)
-函子
•
(
∞
,
2
)
-范畴
•
(
∞
,
n
)
-范畴
•
(
∞
,
∞
)
-范畴
n
-范畴
2
-范畴
•
2
-函子
•
2
-群胚
•
(
2
,
1
)
-范畴
•
n
-范畴
•
n
-函子
•
n
-群胚
•
(
n
,
1
)
-范畴
•
(
n
,
r
)
-范畴
万有构造
伴随
(
∞
,
1
)
-函子
•
(
∞
,
1
)
-极限
•
同伦余积
、
同伦积
•
同伦推出
、
同伦拉回
•
同伦余等子
、
同伦等子
性质
可表现
(
∞
,
1
)
-范畴
•
稳定
(
∞
,
1
)
-范畴
•
纤维
(
∞
,
1
)
-范畴
•
∞
-群胚纤维
(
∞
,
1
)
-范畴
构造
局部化
(
∞
,
1
)
-范畴
•
稳定化
•
生象化
意象论
(
∞
,
1
)
-意象
•
(
∞
,
1
)
-层
•
∞
-叠
[
查看模板
]