関手を線形表現とみなす
#今日の圏論
群Gを圏𝑮と見て、圏𝑮から圏𝓒への関手Rを考える。圏𝓒が線型空間を対象とし線型変換を射とする圏だとすると、関手Rは群Gの線型表現と見なすことができる。射の合成(群の元の積)が射の合成(線型変換の合成)に移るからである。全部「射」と見なしてみると当たり前に見えてくる。
https://img.hyuki.net/20190712132529-350dfa5b42e46297.jpg
#20190710
#20190710130002
ツイート