対象 から関手 （ の図式）への 普遍射 とは， 対象 と射 の対 であって， 任意の対象 に対し，自然な写像 が1対1対応であることである． 関手 （ の図式）から対象 への 普遍射 とは， 対象 と射 の対 であって， 任意の対象 に対し，自然な写像 が1対1対応…