. . . . . . . . . . . . . . . "158098330"^^ . . . . . "Un type unit\u00E9 est un type math\u00E9matique avec une seule valeur. L'ensemble associ\u00E9 avec le type unit\u00E9 peut \u00EAtre n'importe quel ensemble singleton.Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent \u00AB\u202Fdu\u202F\u00BB type unit\u00E9 et on ignore les d\u00E9tails de cette valeur.On peut aussi consid\u00E9rer le type unit\u00E9 comme un 0-uplet, c\u2019est-\u00E0-dire un produit cart\u00E9sien de z\u00E9ro type."@fr . . . "1022527"^^ . . . . "2259"^^ . . . . . . . . "Type unit\u00E9"@fr . . . . "Un type unit\u00E9 est un type math\u00E9matique avec une seule valeur. L'ensemble associ\u00E9 avec le type unit\u00E9 peut \u00EAtre n'importe quel ensemble singleton.Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent \u00AB\u202Fdu\u202F\u00BB type unit\u00E9 et on ignore les d\u00E9tails de cette valeur.On peut aussi consid\u00E9rer le type unit\u00E9 comme un 0-uplet, c\u2019est-\u00E0-dire un produit cart\u00E9sien de z\u00E9ro type. En th\u00E9orie des cat\u00E9gories, le type unit\u00E9 est un objet terminal dans beaucoup de cat\u00E9gories bas\u00E9es sur les ensembles.Le type unit\u00E9 ne doit pas \u00EAtre confondu avec le z\u00E9ro ou type vide, qui ne contient aucune valeur et est l'objet initial de ces cat\u00E9gories."@fr . . .