離散圏

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2021年12月）

翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。

英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。
万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
翻訳後、{{翻訳告知|en|Discrete category|…}}をノートに追加することもできます。
Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

圏論において離散圏（英：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

「https://ja.wikipedia.org/w/index.php?title=離散圏&oldid=96478343」から取得