対象から函手への普遍射
対象から函手への普遍
Trackback - http://f.hatena.ne.jp/redcat_math/20171231111216

規約違反を通報する