小さい圏の圏
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/03/13 09:42 UTC 版)
数学の特に圏論における(小さい)圏の圏(ちいさいけんのけん、英: category of small categories)Cat は、すべての小さい圏を対象とし、圏の間の函手を射とする圏である。実際には、Cat は自然変換を二次元の射 (2-射) とする二次圏 (2-圏) を成すものと見なせる。
- 1 小さい圏の圏とは
- 2 小さい圏の圏の概要
- 3 性質
- 小さい圏の圏のページへのリンク