離散圏のソースを表示

{{Expand English|date=2021年12月}}
[[圏論]]において'''離散圏'''（英：[[:en:Discrete_category]]）とは非自明な射を全く持たない[[圏 (数学)|圏]]である. 

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

== 参考文献 ==
* 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 [http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010&id=3 online] at [http://www.mcs.vuw.ac.nz/~rob/ Robert Goldblatt's homepage].
* http://www.math.nagoya-u.ac.jp/~hasimoto/paper/class/cat10.pdf

{{圏論}}
{{Normdaten}}
[[Category:圏の類]]
{{DEFAULTSORT:りさんけん}}