離散圏

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

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

参考文献

• 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