Altenkirch, T., Boulier, S., Kaposi, A., Sattler, C., & Sestini, F. (2021, March). Constructing a universe for the setoid model. Presented at 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021), Online