圏論って裸の王様．そろそろだれかそう言ってくれ．自然な言語という御人もいるようだがとてもそうは思えない．