Are there more straightforward ways of proving HTT 5.3.4.15?
29.12.2023 07:05 — 👍 0 🔁 0 💬 0 📌 0
differential graded Lie algebra のなす ∞-圏が SAG に載っているのを発見
27.12.2023 16:52 — 👍 0 🔁 0 💬 0 📌 0
寝る冪
27.12.2023 16:44 — 👍 0 🔁 0 💬 0 📌 0
米田の補題
27.12.2023 11:45 — 👍 0 🔁 0 💬 0 📌 0
久しぶりに Bluesky 開いた
27.12.2023 11:42 — 👍 0 🔁 0 💬 0 📌 0
代数群（特に線形の）に関する wikipedia ページを見ていた 基礎体による振る舞いの違いが気になる
22.09.2023 15:09 — 👍 0 🔁 0 💬 0 📌 0
思っていたよりも人少ない気がしてきました まだ探索が足りないだけかもですが…
21.09.2023 17:12 — 👍 2 🔁 0 💬 0 📌 0
The heart of the stable infinity category of spectra is equivalent to (the nerve of) the category of abelian groups.
Hello world!
21.09.2023 16:47 — 👍 0 🔁 0 💬 0 📌 0
Homotopy theorist and friend
https://sites.google.com/view/jacksonmorris/
Numbers and shapes at Reed College. Mathematician, parent, spouse, runner, 𝔣𝔯𝔞𝔨𝔱𝔲𝔯 enthusiast. He or they.
住んでたところが下水道になりつつあるので避難してきました。もっと無限組合せ論を！
サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。
Mathematician at UMN.
President of Spectra, the association for LGBT+ mathematicians.
Mathematician at @unigreifswald.bsky.social
Mathematics Research Scientist at Turing
Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪
He/Him/His
Interested in: homotopy theory, category theory, formalization of mathematics, AI
https://nimarasekh.github.io
https://tmaehara.gitlab.io/; TCS Researcher & ML Engineer.
Brilliant British Foods: https://bsky.app/profile/did:plc:dqxsa5cjfrzulhalom4kuyd2/feed/aaaiqwjhlzavy
Bluesky Bots https://gitlab.com/tmaehara/bluesky-newsbots
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
It has come to an end
The unknowing sun will rise again
Maybe all is gone, but She still lives on
✍️ Logics, Maths, and Theoretical CS
🐈⬛ Cats, Crows, and Ravens
⚛️ Progressive and Nontheist
🏳️🌈 Pro-LGBTQIA+, Anti-fascist, and Anti-racist
