bonotakeの日記

ソフトウェア工学系研究者 → AIエンジニア → スクラムマスター・アジャイルコーチ

2007-02-25から1日間の記事一覧

今日は圏論勉強会

でした。(サイト) 午前中は新テキストの選定会。Asperti と Longo の Categories, Types, and Structuresに決定。 午後から早速読み始め。Chapter 1 は簡単に終わるかと思いきや、位相空間の圏の問題(「位相空間の圏で、epi だが surjective でない射を提…

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。