The slides that mahogany linked to [1] may give you some insight into this question. They're pretty interesting.

[1] https://www.math.ias.edu/~vladimir/Site3/Univalent_Foundatio...