用户: 遗忘的左伴随

1介绍

个人资料

•	刘欧 (Liu Ou, 红糖): 数学爱好者, 山西大学数学与应用数学专业在读学生.
•	Github 里存了一些以前写的笔记资料.
•	联系方式: 可以通过给我的邮箱 douglas [ατ] beneland.cn 发邮件或者直接 QQ 寻找的方式来联系我.
•	我目前主要关心的内容为高阶范畴论, 同伦代数 (包括高阶代数), 代数几何以及部分同伦论.
•	英文主页: Homepage.

以前的小工作 (比较偏向应用数学)

1.	一种改进粒子群算法及其收敛性证明, 写的一坨, 编写语言为 MATLAB, 支持对于 $f(x,t)$ 型的函数进行优化, 其中 $x$ 为粒子群参数,$t$ 为与 $x$ 无关的一个变量 (我的处理方式是依赖于迭代描述 $t$), 收敛性证明见收敛性证明的 branch, 第一次修改稿, 如需要详细的资料 (如示例等) 请通过我的邮箱或者 QQ 向我索要.
2.	Valuation and comparison of the actual and optimal control strategy in an emerging infectious disease: Implication from a COVID-19 transmission model 第三作者, 本人主要负责算法以及参数拟合部分, 使用工具为上一条.
3.	大创项目的大部分工作: 利用元胞自动机模拟小范围疫情传播, 在文档中叙述了使用 Chapman-Kolmogorov 方程对于元胞自动机进行逼近 (以得到对应的传染病模型) 的方法 (如果约束合适可以模拟出在有条件约束下的情况).

2规划

•	代数拓扑讨论班讲义 (只完成了经典范畴论), 可见于链接;
•	谱 (实际上是代数几何讨论班讲义的一部分, 不过此处与同伦论关系较大, 因此单独写一份讲义), 链接;
•	高阶代数, 代数 K-理论以及棱镜上同调 (目前只写了一点高阶代数), 链接

将放在香蕉空间的部分

注 2.1. 如有错误敬请指出.

目录

	平展调料包讲义 (已鸽) 这是一份于 2024 年 4 月 21 日开启的讲义 (将试着总结出一份能称文明的平展资料), 打算结束后放在香蕉空间中, 目前可以通过 Overleaf 进行观看. 目前进度以及内容概述
	我很神秘: 一份暂时保密的讨论班讲义, 但是现在具有 overleaf. 目前进度 ∘ 引言; 已完成 ∘ 第一讲: 轻凝聚集, 轻凝聚 Abel 群以及部分上同调计算; ∘ 第二讲: 固态; ∘ 第三讲: 解析环 (暂未更新); ∘ 待续 ∘ 欢迎催更.   讲义: 六函子理论正在书写中 (不会鸽的)
	资料推荐
	范畴论杂记
	Spectra are your friends 对于经典小品文的翻译
	代数模式与高阶代数
	谱序列闪闪讲解的谱序列部分笔记
	代数几何: 一份代数几何小笔记. 逐步搬运至讲义: 代数几何 (遗忘的左伴随)
	Derived Algebraic Geometry

3兴趣与参与主要编辑的词条 (依照时间顺序排列)

我参与创建和编辑以下词条, 如有问题欢迎进行交流讨论:

•	导出 $(\infty ,1)$-范畴 Lurie-Beck–Chevalley 下降
•	$(\infty ,1)$-层
•	蛇形引理
•	筛 $(\infty ,1)$-余极限
•	单纯对象
•	几何实现 (单纯集)
•	几何实现 (单纯对象)
•	实现–脉伴随
•	伴随 $(\infty ,1)$-函子
•	生象化
•	$(\infty ,1)$-极限
•	$(\infty ,1)$-共尾函子
•	Quillen 定理 A
•	Lurie 张量积
•	稳定化
•	同伦拉回
•	六函子理论
•	核 $2$-范畴

4讨论班以及记录

目录

	1 Six-Functor Formalisms 关于六函子理论的讨论班
	2 Spectra 基本观念关于谱的讨论班

此处放一只小熊, 路过的人没事可以摸一下熊 [来自 CTAN 的示例]

脚注