>>883
集合が小さいとはUの元であることをいうのが普通だと思うけど圏論の基礎にもそう書いてない?