Cisis - C##
ASP.NET Core 開発者のブログ
圏論ノート
圏論を勉強したノート(手書き)の置き場です.数学全般に関して初学者なので,不正確であったり間違っている部分があるかもしれません. テキストとして,主に
@alg_d さんの圏論の解説
と,T.レンスター『ベーシック圏論』を使っています.
#001 圏の定義と Set, Grp
#002 関手の定義と忘却関手
#003 同型
#004 いくつかの小さい圏
#005 モノイド