2019年5月9日木曜日

ベーシック圏論 普遍性からの速習コース (Tom Leinster(著)、斎藤 恭司(監修)、土岡 俊介(翻訳)、丸善出版)の序論、演習問題0.11の解答を求めてみる。


  1. K を任意の群、写像 f を

    f : K G

    となる任意の群準同型とする。

    すると、次の普遍性をもつ。

    つまり、任意の群 K と任意の群準同型

    f : K G θ f = ε f

    について、

    c f - = f

    なる群準同型写像

    f - : ker θ G

    がただ一つ存在する。

0 コメント:

コメントを投稿

関連コンテンツ