見なす
多項式は自然変換と見なすことができる。
行列式は自然変換と見なすことができる。
対象が一つの圏はモノイドと見なすことができる。
対象が一つですべての射が同型射である圏は群と見なすことができる。
群の積は合成射と見なすことができる。
群の共役は自然変換と見なすことができる。
前順序集合は圏と見なすことができる。
関手は関手圏の対象と見なすことができる。
自然変換は関手圏の射と見なすことができる。
左群作用は関手と見なすことができる。
群準同型は関手と見なすことができる。
https://twitter.com/hyuki/status/1210433639688785920