この記事はゆゆ式 Advent Calendar 2017の20日目の記事です 縁ちゃんの福笑い 縁ちゃんの福笑いを作りました 色々パーツを組み合わせてあなただけの縁ちゃんを作ってみよう！ FAQ 何でSHIROBAKOじゃなくてゆゆ式？ SHIROBAKOも好きですがゆゆ式も大好きなん…

16ページ 群の圏 18ページ モノイドの圏 前順序の圏 19ページ 双対圏 16ページ 群の圏 群も圏になる 整数の群を例として考える 対象： 射： 合成：との足し算（） 恒等射：群における単位元（今回の場合は0）圏の結合法則が満たされるのは群の結合法則から明…

概要 14ページ 定義域と値域 集合の圏が圏であることの証明 線形空間の圏が圏であることの証明 における同型射 における同型射 15ページ 圏論のメリット 概要 最近ベーシック圏論の勉強会をやっています。勉強会の中で学んだことをそのままにしておくのはも…