定義 完備・余完備 すべての小さい図式が極限を持つときその圏は完備という。 すべての小さい図式が余極限を持つときその圏は余完備という。 ちなみに、complete、cocompleteである。 余もcoも発音が楽しい。 命題（教科書では定義） では である。 （ は元…