>>236
圏論やるにはUがある方が都合が良いんでしょ。