離散圏
discrete category
恒等射以外の射を持たない圏
圏の中に対象は1つ以上あるけど、それらの間には射がないってことかmrsekut.icon