https://plus.google.com/+DavidRoberts/posts/CLfYkWQLcDb
> Why not email him on this point?
果たして誰かメールするのかな?
http://ncatlab.org/nlab/show/universe+polymorphism
http://ncatlab.org/nlab/show/universe+enlargement