DropboxとかGoogleドライブとか - らんだむな記憶以来使ってきたが、Google DriveのWebホスティングサービスがあと1年で閉鎖へ（代替はいくらでもある） | TechCrunch Japanによると、 Google Driveの、今でもあまり知られていない機能のひとつが、Webサイト…

objectsとかarrowsを表現する記号は何だろうかと、 代数概論 (数学選書) | 森田 康夫 | 本 | Amazon.co.jp Amazon.co.jp： Semi-Classical Analysis: Victor Guillemin, Shlomo Sternberg: 洋書 圏論の基礎 | S. マックレーン, Saunders MacLane, 三好 博之,…

群の定義はさらっと流そうと思ったがぼちぼち興味深いので一応触れてみる。 Denifition 1.4. 群 $G$ とはモノイドであってすべての元 $g$ に対して逆 $g^{-1}$ を持つようなものを言う。 故に $G$ は唯1つの object を持つ category であり、すべての arrow …

ぼけーっと見てたら、「辞」がサイズで結構違って見えるやつを見たのでfont-sizeやfont-familyを変えて出してみる。むむっ、元々気になっていたのとは別の部分が気になることに気付いた...。[游ゴシック] 17px vs 24px, normal vs bold 辞め辞め辞め辞辞辞 …

[Steve Awodey本] 1.5 Isomorphism 続き それ(category 論的な概念のみを用いたisomorphismの定義)はどんなcategoryであれそこで考えられる他のisomorphismの定義よりも優れた点がある。例えば、集合のisomorphismを全単射写像、モノイドその他のisomorphism…