The construction of the natural display topos of coalgebras, which extends the approach to universes in presheaf toposes to sheaf toposes with enough points.
