搜索结果
跳转到导航
跳转到搜索
- [[Category:高階範疇論]] …1 KB（116个字） - 2020年12月9日 (三) 11:29
- [[Category:高階範疇論]] …1 KB（84个字） - 2014年12月28日 (日) 16:35
- [[数学]]中，'''高阶范畴'''是[[范畴论]]在''高阶''下的情形，一些等式可写成[[态射|箭头]]，以便能明确地研究等式背后的结构。高阶范畴论常应用于[[代数拓扑学]]（特别是[[同伦论]]），用于研究[[拓扑空间]]的代数[[不变量]]，如其[[基本广群|基本]]弱[[准范畴]]。 一个平凡[[范畴 (数学)|范畴]]拥有物件与[[态射]]两类组分，在高阶范畴论背景下，这些对象统称为1-态射。[[2-范畴]]在1-态射间加入了2-态射，这样往复下去，直到范畴包含(n-1)-态射与其间的n-态射，便得到了n范畴。 …7 KB（470个字） - 2023年10月25日 (三) 19:08
- 高阶范畴论的想法（至少当高阶态射可逆时）是，与范畴的标准定义不同，两个对象间应有一个映射空间（而非映射集）。这表明，高阶范畴应该只是[[拓扑范畴|拓扑增广范畴]] [[Category:高阶范畴论]] …7 KB（499个字） - 2023年11月23日 (四) 11:12