category theory 学んだ後、何かの理論を categorical characterize して categorical に証明書いていくのは楽しい
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
