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