Are there more straightforward ways of proving HTT 5.3.4.15?
2 years ago
0
0
0
0
Posts by もの / mono
differential graded Lie algebra のなす ∞-圏が SAG に載っているのを発見
2 years ago
0
0
0
0
寝る冪
2 years ago
0
0
0
0
米田の補題
2 years ago
0
0
0
0
久しぶりに Bluesky 開いた
2 years ago
0
0
0
0
代数群（特に線形の）に関する wikipedia ページを見ていた 基礎体による振る舞いの違いが気になる
2 years ago
0
0
0
0
思っていたよりも人少ない気がしてきました まだ探索が足りないだけかもですが…
2 years ago
2
0
0
0
Advertisement
The heart of the stable infinity category of spectra is equivalent to (the nerve of) the category of abelian groups.
Hello world!
2 years ago
0
0
0
0