English Universe (mathematics) Cited by user 2601:547:501:8F90:9D40:DDC3:A266:7948 on 21 Sep 2022 In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the…