離散圏
圏論において離散圏(英:en:Discrete_category)とは非自明な射を全く持たない圏である.
つまり, 圏 C {\displaystyle C} が離散であるとは, C {\displaystyle C} の任意の異なる対象 c , c ′ {\displaystyle c,c'} に対し, hom  ( c , c ′ ) {\displaystyle \hom(c,c')} が空集合となり, hom  ( c , c ) {\displaystyle \hom(c,c)} が恒等射のみからなるときをいう.