Functor の有界性

Sheaf の ΓのFunctorとΓ p が Sheaf なのは示せたので、L に取りかかってるんだが、いきなり、これ

Sets への関手が有界なわけはない。なに集合演算を平然としてるんだよ…

いや、圏論の人ってそうなんだよな。「一つ上の階層からみれば集合」。どうせ、そんな感じなんでしょう

ChatGPTと相談しても、有界性を仮定するのがよいらしい。あとで、どうトラブルのかは知らないが