もの / mono
@mono-cat.bsky.social
interested in chromatic homotopy theory and ∞-category theory
Are there more straightforward ways of proving HTT 5.3.4.15?
December 29, 2023 at 7:05 AM
Are there more straightforward ways of proving HTT 5.3.4.15?
differential graded Lie algebra のなす ∞-圏が SAG に載っているのを発見
December 27, 2023 at 4:52 PM
differential graded Lie algebra のなす ∞-圏が SAG に載っているのを発見
代数群（特に線形の）に関する wikipedia ページを見ていた 基礎体による振る舞いの違いが気になる
September 22, 2023 at 3:09 PM
代数群（特に線形の）に関する wikipedia ページを見ていた 基礎体による振る舞いの違いが気になる
思っていたよりも人少ない気がしてきました まだ探索が足りないだけかもですが…
September 21, 2023 at 5:12 PM
思っていたよりも人少ない気がしてきました まだ探索が足りないだけかもですが…
