category theory homotopy type theory dependent type topos intuitionistic type theory foundations of geometry higher category theory univalent foundations ∞-groupoid multiverse (set theory)
Mathematics_Fields of mathematics