普遍射

書いてみる

関連タグ

#圏論 (293)
#随伴関手 (3)

普遍射と随伴

zorn
1年前