generated at
普遍 R 行列
from 『圏論の歩き方』
普遍 R 行列
http://www.math.tohoku.ac.jp/~kojihas/TeX/991008.Zs/node3.html
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/62317/1/1057-6.pdf