generated at
単位圏1

1
ただ一つの対象とその上の恒等射のみからなる圏
図示するときはただの黒点一つになる
「・」←こんなん