離散圏

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

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

つまり, 圏 ${\displaystyle C}$ が離散であるとは, ${\displaystyle C}$ の任意の異なる対象 ${\displaystyle c,c'}$ に対し, ${\displaystyle \hom(c,c')}$ が空集合となり, ${\displaystyle \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

表 話 編 歴 圏論
主要項目	圏 射 エピ モニック 図式 可換図式 自然変換 圏同値 反対圏 始対象と終対象 普遍性 米田の補題 双対 極限 帰納極限 射影極限 積 余積 像 余像 等化子 余等化子 トポス 核 余核 引き戻し モナド Kan拡張
関手	加法的 完全 充満 随伴 対角 忠実 導来 表現可能 本質的全射 Hom関手
具体的圏	関手圏 前加法圏 集合の圏 マグマの圏 群の圏 アーベル群の圏 擬環の圏 環の圏 加群の圏 ベクトル空間の圏 多元環の圏 位相空間の圏 距離空間の圏 多様体の圏
圏の類	完備圏 コンマ圏 部分圏 モノイド閉圏 デカルト閉圏 アーベル圏 導来圏 クライスリ圏 デカルトモノイド圏
一般化	豊穣圏 2-圏 圏の圏
人物	ソーンダース・マックレーン サミュエル・アイレンベルグ アレクサンドル・グロタンディーク ウィリアム・ローヴェア ハインリッヒ・クライスリ
関連分野	代数幾何学 普遍代数 ホモロジー代数
関連項目	『圏論の基礎』
カテゴリ