Definitions from Wikipedia (Univalent foundations)

▸ noun:  an approach to the foundations of mathematics in which mathematical structures are built out of objects called types.


▸ Words similar to Univalent foundations
▸ Usage examples for Univalent foundations

▸ Idioms related to Univalent foundations
▸ Wikipedia articles (New!)
▸ Words that often appear near Univalent foundations
▸ Rhymes of Univalent foundations

▸ Invented words related to Univalent foundations