generated at
2/16/2025, 3:06:50 PM
離散圏
discrete category
恒等射
以外の射を持たない
圏
圏の中に対象は1つ以上あるけど、それらの間には射がないってことか