散れども切れぬ備忘録

代数学やその他数学に関することなどをそこはかとなく書きつくる備忘録

GrpとAbの間の随伴(おまけ:随伴の合成)

備忘録です。
群の圏Grpとアーベル群の圏Abの間には随伴関手があります。これを説明しました。短いので画像にしています。
f:id:zangiriontwitter:20190910204348j:plain
f:id:zangiriontwitter:20190910204407j:plain
「何を言ってるのかわからない」という方は群論の教科書とベーシック圏論の1,2章を読むといいでしょう。もしくは散切に聞いてくださっても構いません。
また、何かおかしい所があればご指摘下さると助かります。