単位射以外の射を持たない圏を離散圏と言う。
任意の類(代数的整数論017の323)は離散圏と見なせる。