about
hyuki
関手性公理
20191118103645
圏同値ならば忠実かつ充満（まちがった証明）
圏論と学びをめぐる往復書簡
圏論とプログラミング
対象について本質的に全射
圏同値ならば忠実（再挑戦して断念）
圏同値ならば忠実
圏同値ならば充満
20200109040034
20191231084117
圏同値に至るまでの道のり
「関手圏と行列」の動画を見て復習
圏同値
20190608002651
行列式が自然変換であるというツイートが「わからない」から「わかる」になった話
20190722002603
行列式は自然変換と見なすことができる