Hom関手
関手
ホムセット
#圏論
#数学