ゆる圏 Youtube
圏論学習動画
『ベーシック圏論 普遍性からの速習コース』をテキストにして毎回読んでいく
業界人はちょっとニヤリとする
サムネでゆるくねーじゃんとツッコミ
cf. 証明は読者に任せる
第一回
>定義 1.1.1抜粋
>圏とは
>「対象」「射」「合成」「恒等射」
>からなり、
>「結合法則」「単位法則」（＋α）
>をみたすものである。
プラスαは松森さん自身が気になっている例
圏の例
ひらがな圏
りんぐ\circまつもり
その前にインフォーマルな定義（p.89 命題3.2.4の後）
定義1.1.1
圏の構成要素
対象
射
合成
恒等射
が
結合法則
単位法則
＋α
注意1.1.2
を満たすとき、圏である