Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
de h-level
Vertaling van "de h-level" in Engels
of h-level
Les types de h-level 0 sont ceux qui sont égaux au type "point".
Types of h-level 0 are those equal to the one point type.
Le monde des types est stratifié par le concept de h-level (homotopy level).
The world of types stratified by the concept of h-level (homotopy level).
Les types de h-level 1 sont ceux pour lesquels deux éléments quelconques sont égaux.
Types of h-level 1 are those in which any two elements are equal.
Les Catégories sont définies comme des types de h-level 3 (voir la bibliothèque RezkCompletion d'UniMath) avec une structure supplémentaire qui est très similaire à la structure sur les types de h-level 2 qui définit les ensembles partiellement ordonnés.
Categories are defined (see the RezkCompletion library in UniMath) as types of h-level 3 with an additional structure that is very similar to the structure on types of h-level 2 that defines partially ordered sets.
Le fait que le type des entiers naturels est de h-level 2 est un théorème (isasetnat dans UniMath).
It is a theorem that the type of natural numbers has h-level 2 (isasetnat in UniMath).
La définition des propositions en termes de h-level est conforme à la définition suggérée auparavant par Awodey and Bauer.
The definition of propositions in terms of the h-level agrees with the definition suggested earlier by Awodey and Bauer.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor de h-level in het Frans
Resultaten: 6. Exact: 6. Verstreken tijd: 37 ms.
