2019-10-18から1日間の記事一覧

集合圏における可換図式による法則の記述 (C A3P2)

問題文はピンク文字で書いてある。 「p.3」などのページ参照は、第2回メイン資料(紙)のページ番号。 後から次の追記・修正を行った。 第2回メイン資料(紙)への参照を追加。 ラムダ記法の解説を追加。 集合圏の重要な射の定義を追加。 マックレーンの五角…