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