群から群への関手は群準同型にほかならない
群
Gを
圏
𝑮と見て、群Hを圏𝑯と見て、圏𝑮から圏𝑯への
関手
を考えると、それは群Gから群Hへの
群準同型
にほかならないという話。
Awodey
の
Category Theory
で理解できそうなところを復習兼ねて拾い読み。
https://img.hyuki.net/twitter-1148930946592153600-1.jpg
#20190710
#20190710122418
ツイート
#今日の圏論