Lurie, Higher Algebra.

投稿日：2026/6/20

Lurie の Higher Algebra を読み進める上での（自分の為の）記録．かなり場当たり的かつ付け焼き刃的な勉強でやっていくことになると思います．取り敢えずは 1 章を読むことが目標．

凡例：読んだ = 証明を追った，見た = 主張だけを追った．

• HA 1.1.1 Stability
  • HTT 1.2.12–16 を見た．
  • HTT 2.4.1–2 を見た．
  • 5 章をちょっと見る．
  • HTT 4.3.2.15
    • $p$-left Kan extension の定義：HTT 4.3.2.2
    • $p$-colimit の定義：HTT 4.3.1.1

参考文献

[Gep19]	Gepner, D. An Introduction to Higher Categorical Algebra. https://arxiv.org/abs/1907.02904
[HTT]	Lurie, J. Higher Topos Theory. https://www.math.ias.edu/~lurie/papers/HTT.pdf
[HA]	Lurie, J. Higher Algebra. https://www.math.ias.edu/~lurie/papers/HA.pdf