In category-theoretic mathematics, Met is a category that has metric spaces as its objects and metric maps (continuous functions between metric spaces that do not increase any pairwise distance) as its morphisms. This is a category because the composition of two metric maps is again a metric map. It was first considered by .

Property Value
dbo:abstract
  • In category-theoretic mathematics, Met is a category that has metric spaces as its objects and metric maps (continuous functions between metric spaces that do not increase any pairwise distance) as its morphisms. This is a category because the composition of two metric maps is again a metric map. It was first considered by . (en)
  • La categoría Met tiene los espacios métricos como objetos y funciones cortas como morfismos. Esto es una categoría porque la composición de funciones cortas es corta. Los monomorfismos en Met son las funciones cortas inyectivas, los epimorfismos son las funciones cortas con imagen densa (por ejemplo, la inclusión: , que es claramente mono, así que Met no es una categoría balanceada), y los isomorfismos son isometrias. El conjunto vacío (considerado como un espacio métrico) es objeto inicial de Met; cualesquiera el espacio métrico del singletón es un objeto terminal. No hay, por tanto, ningún objeto cero en Met. El producto Met viene dado por la mezcla con métrica del supremo en producto cartesiano. No hay coproducto. Tenemos un funtor de "olvido" que asigna a cada espacio métrico el conjunto subyacente, y a cada función corta la subyacente función. Este funtor es fiel, y por lo tanto Met es una categoría concreta. (es)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 535617 (xsd:integer)
dbo:wikiPageRevisionID
  • 643014577 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • In category-theoretic mathematics, Met is a category that has metric spaces as its objects and metric maps (continuous functions between metric spaces that do not increase any pairwise distance) as its morphisms. This is a category because the composition of two metric maps is again a metric map. It was first considered by . (en)
  • La categoría Met tiene los espacios métricos como objetos y funciones cortas como morfismos. Esto es una categoría porque la composición de funciones cortas es corta. Los monomorfismos en Met son las funciones cortas inyectivas, los epimorfismos son las funciones cortas con imagen densa (por ejemplo, la inclusión: (es)
rdfs:label
  • Category of metric spaces (en)
  • Categoría de espacios métricos (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is foaf:primaryTopic of