All (∞,1)-toposes have strict univalent universes

This entry was posted in Philosophie. Bookmark the permalink.