離散圏

圏論において離散圏（英：:en:Discrete_category）とは非自明な射を全く持たない圏である. 

つまり, 圏  が離散であるとは,  の任意の異なる対象  に対し,  が空集合となり,  が恒等射のみからなるときをいう.

参考文献 
 Robert Goldblatt (1984). Topoi, the Categorial Analysis of Logic (Studies in logic and the foundations of mathematics, 98). North-Holland. Reprinted 2006 by Dover Publications, and available online at Robert Goldblatt's homepage.
 http://www.math.nagoya-u.ac.jp/~hasimoto/paper/class/cat10.pdf

圏の類