Univalent Lab

Univalence axiom – the ultimate form of mathematical structuralism.
We seek a deeper understanding of a mathematical object by identifying its structure and study its relationships with other objects with the same structure.