圏 (数学)
圏が与えられているとき、そこからより複雑な高次圏を考えることができる。簡潔には、2 つの対象の間の射を「一方の対象からもう一方への対応関係」とみなすならば、これを高次圏において「高次の対応関係」を考慮することで、より有益な一般化が可能となる。
例えば、「二次元の圏」である双圏(英語版)(bicategory) もしくは 2-圏(英語版) (2-category) は「射の間の射」、つまり、ある射を別の射に変換する対応関係によって得られる圏である。これらの「2-射」(2-cell) は水平・垂直に「合成」することができ、かかる 2 つの合成則においては 2 次元の「交換則」(exchange law) が成り立つ。この最も標準的な例は Cat、つまり全ての(小さな)圏から成る 2-圏であり、この例において、射には関手が、2-射には、関手の自然変換が当てはまる。もう 1 つの基本的な例としては、対象 1 つから成る 2-圏である—これは(狭義)モノイド圏である。
この手法を任意の自然数 n で拡張し、n-圏(n-category、n 次圏)を定義することができる。さらに順序数 ω に対する ω-category と呼ばれる高次圏もある。このアイデアに関する堅苦しくない入門文献としてJohn Baez: The Tale of n-categoriesが挙げられる。