Reddit - Dive into anything
Suggestion: the more experienced Type-Theory wizards could make a HoTT program assuming no mathematical background. 100% of the books, tutorials and explanations on HoTT I've read so far assume a profound mathematical maturity. Even this supposedly "non-technical explanation" spends most of its discourse comparing HoTT to other fields, ranging from category theory to topology and even quantum phys
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything