1つまたは少数の圏を扱う場合でも、圏論的宇宙全体の構造を知っていたほうがいい場合があります。とはいえ、圏論的宇宙全体は難しいですね。とりあえずは、次の基本的な観測を合理化することを考えます。 j次元の圏の全体は、(j + 1)次元の圏とみなせる。 「…