Chapter 15

3.1 対象がない圏

さのたけと
さのたけと
2021.05.20に更新

最も自明な圏は対象を持たず,したがって射も持たない圏である.
これはそれ自身ではとてもつまらない圏だが,
例えば全ての圏のなす圏(そのようなものが一つある)のように,他の圏を考える文脈においては重要になりうる.
もし空集合に意味があると考えるのであれば,
空な圏についても同じように考えてもいいはずだ.

(和訳:@unaoya