English translation for "univalent"

n. univalent, having a valence of one

Example Sentences:

1.

An account of Voevodsky's construction of a univalent model of the Martin-Löf type theory with values in Kan simplicial sets can be found in a paper by Chris Kapulkin, Peter LeFanu Lumsdaine and Vladimir Voevodsky. Un compte rendu de la construction par Voevodsky d'un modèle univalent de la théorie des types de Martin-Löf avec des valeurs dans les ensembles simpliciaux de Kan a été publié par Chris Kapulkin, Peter LeFanu Lumsdaine et Vladimir Voevodsky.

Similar Words：

"unités des femmes d'Êzîdxan" English translation, "unités militaires du gouvernement confédéré durant la guerre de sécession" English translation, "unités territoriales autonomes de la rive gauche du dniestr" English translation, "univac i" English translation, "univac ii" English translation, "univalve" English translation, "univar" English translation, "univention corporate server" English translation, "univerbation" English translation