圏 (数学)
(対象_(圏論) から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/11/29 16:22 UTC 版)
数学の一分野である圏論において中核的な概念を成す圏(けん、英: category)は、数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏はそれ自体、群に類似した代数的構造として理解することができる。
注釈
出典
- ^ a b Eilenberg, S.; Mac Lane, S. (sep. 1945), “General Theory of Natural Equivalences”, Transactions of The American Mathematical Society 58 (2): 231-294, doi:10.2307/1990284
- ^ Barr & Wells 2005, Chapter 1.
- ^ Awodey 2006, Definition 1.12.
- ^ Weibel 1994, Definition A.1.1.
- ^ Borceux 1994, Definition 1.2.1.
- 対象_(圏論)のページへのリンク