単位圏1
https://gyazo.com/71882c22ed54d40b2dec667c13b14921
圏
$ 1
ただ一つの対象とその上の恒等射のみからなる圏
図示するときはただの黒点一つになる
「・」←こんなん