小さい圏の圏
↑ empty category in nLab
↑ terminal category in nLab
↑ 例えば