>>521 追加
>https://takulabo.ｓａｋｕｒａ.ne.jp/notes/math_category_introduction.html
>TakuLabo
>僕用勉強ノート 「圏論」の巻
>圏論とはなんなのか

追加を 貼っておきますね （＾＾

https://takulabo.ｓａｋｕｒａ.ne.jp/notes/sum/category_theory.html
TakuLabo
雑記帳
僕用勉強ノート 「圏論」の巻
＜Lawvere流の非大卒でも楽しく学べる圏論＞
• 僕用勉強ノート 「圏論」の巻 - はじめに
• 圏論とはなんなのか
• 圏を一階述語論理で公理化する
• 特別な名前を持った自己準同形 【冪等 (idempotent) / 対合 (involution)】
• エピック (epic) とモニック (monic)
• 分裂エピックと分裂モニック (split epic / monic)
• 圏論的な選択公理 (AC: Axiom of Choice)
• 同型 (isic) と 均衡圏 (balanced category)
• 亜群・モノイド・群
• 始対象と終対象
• ゼロ対象とゼロ射
• 圏論的和と圏論的積 (余積と積)
• 有限余積を持つ圏・有限積を持つ圏
• 局所的に射を束ねて得られる対象 【指数対象 (Exponential object)】
• ホム集合に相当する対象を持つ圏 【カルテシアン閉圏】
• 圏論的にIf文を組み立てる
以下略す