圏のなす圏って考えられへんのか?