Bi-univalent functions constitute a significant subclass of analytic functions defined on the open unit disc, characterised by the property that both the function and its inverse are univalent.

A lot of the attention univalent foundations has received is owing to Voevodsky’s standing as one of the greatest mathematicians of his generation. Michael Harris, a mathematician at Columbia ...