離散圏

圏論において離散圏（英：）とは非自明な射を全く持たない圏である. 
つまり, 圏 formula_1 が離散であるとは, formula_1 の任意の異なる対象 formula_3 に対し, formula_4 が空集合となり, formula_5 が恒等射のみからなるときをいう.