The cumulative hierarchy of sets (guest post by Jeremy Ledent) | Homotopy Type Theory http://homotopytypetheory.org/2014/09/11/the-cumulative-hierarchy-of-sets-guest-post-by-jeremy-ledent/ を読んでいる。