圏論
21ページ 同じ対象に移る関手 順序関係間の関手 22ページ 忘却関手は圏論の言葉で定義できる？ 21ページ 同じ対象に移る関手 関手の定義では各対象が異なることは言っていないので、関手の例としてこのようなものも考えられるつまり、が関手によって同じ対象…
16ページ 群の圏 18ページ モノイドの圏 前順序の圏 19ページ 双対圏 16ページ 群の圏 群も圏になる 整数の群を例として考える 対象： 射： 合成：との足し算（） 恒等射：群における単位元（今回の場合は0）圏の結合法則が満たされるのは群の結合法則から明…
概要 14ページ 定義域と値域 集合の圏が圏であることの証明 線形空間の圏が圏であることの証明 における同型射 における同型射 15ページ 圏論のメリット 概要 最近ベーシック圏論の勉強会をやっています。勉強会の中で学んだことをそのままにしておくのはも…
