用户: 遗忘的左伴随/伸展范畴与高阶代数

对于 Introduction to Higher Algebra 的抄书.

部分内容未来将转至讲义: 六函子理论.

约定. 在本文中,

• 范畴都指 $(\infty ,1)$-范畴, $1$-范畴所构成的范畴为 ${\mathsf{Cat}}_{(1)}$, 范畴所构成范畴为 $\mathsf{Cat}$, 大范畴所构成范畴为 $\widehat{\mathsf{Cat}}$;
• 算畴都指 $(\infty ,1)$-算畴, 不过此时搭建在 $\mathsf{Span}(\mathsf{Fin})$ 上. 算畴和有色算畴在本文中将称为 “$1$-算畴” 和 “经典的有色算畴”
• 几何实现都指几何实现 (单纯对象), 将其简记为 $\Vert -\Vert$.
• 核都指范畴删去所有不可逆态射所得到的生象, 记为 $(-{)}^{\simeq }$.

目录

	1 伸展范畴
	2 算畴
	3 Cartesius 以及余 Cartesius 幺半结构
	4 谱上的对称幺半结构