Un type unité est un type mathématique avec une seule valeur. L'ensemble associé avec le type unité peut être n'importe quel ensemble singleton.Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent « du » type unité et on ignore les détails de cette valeur.On peut aussi considérer le type unité comme un 0-uplet, c’est-à-dire un produit cartésien de zéro type.

Property Value
dbo:abstract
  • Un type unité est un type mathématique avec une seule valeur. L'ensemble associé avec le type unité peut être n'importe quel ensemble singleton.Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent « du » type unité et on ignore les détails de cette valeur.On peut aussi considérer le type unité comme un 0-uplet, c’est-à-dire un produit cartésien de zéro type. En théorie des catégories, le type unité est un objet terminal dans beaucoup de catégories basées sur les ensembles.Le type unité ne doit pas être confondu avec le zéro ou type vide, qui ne contient aucune valeur et est l'objet initial de ces catégories. (fr)
  • Un type unité est un type mathématique avec une seule valeur. L'ensemble associé avec le type unité peut être n'importe quel ensemble singleton.Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent « du » type unité et on ignore les détails de cette valeur.On peut aussi considérer le type unité comme un 0-uplet, c’est-à-dire un produit cartésien de zéro type. En théorie des catégories, le type unité est un objet terminal dans beaucoup de catégories basées sur les ensembles.Le type unité ne doit pas être confondu avec le zéro ou type vide, qui ne contient aucune valeur et est l'objet initial de ces catégories. (fr)
dbo:wikiPageID
  • 1022527 (xsd:integer)
dbo:wikiPageLength
  • 2259 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 158098330 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • Un type unité est un type mathématique avec une seule valeur. L'ensemble associé avec le type unité peut être n'importe quel ensemble singleton.Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent « du » type unité et on ignore les détails de cette valeur.On peut aussi considérer le type unité comme un 0-uplet, c’est-à-dire un produit cartésien de zéro type. (fr)
  • Un type unité est un type mathématique avec une seule valeur. L'ensemble associé avec le type unité peut être n'importe quel ensemble singleton.Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent « du » type unité et on ignore les détails de cette valeur.On peut aussi considérer le type unité comme un 0-uplet, c’est-à-dire un produit cartésien de zéro type. (fr)
rdfs:label
  • Type unité (fr)
  • Type unité (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of