| Property |
Value |
| dbo:abstract
|
- En teoría de categorías dualidad es una correspondencia entre propiedades de una categoría C y las llamadas propiedades duales de la categoría opuesta Cop. Dada una proposición con respecto a la categoría C al intercambiar el dominio y el codominio de cada morfismo e intercambiando el orden de la composición de dos morfismos obtenemos una proposición dual considerando la categoría opuesta Cop. La dualidad como tal es la afirmación de que la verdad es un invariante bajo esta operación en las proposiciones. En otras palabras si una proposición es verdadera en C, entonces su proposición dual es cierta en Cop, y si una proposición es falsa en C, entonces su proposición dual es falsa en Cop. Dada una C es común el caso de que la categoría opuesta por sí misma es abstracta, Cop no necesariamente es una categoría que surja de la práctica matemática, en este caso otra categoría D se dice que está en dualidad con C si D y Cop son categorías equivalentes. En este caso cuando una categoría C y la categoría 'Cop son equivalentes entonces se dice que está categoría es auto dual. (es)
- En teoría de categorías dualidad es una correspondencia entre propiedades de una categoría C y las llamadas propiedades duales de la categoría opuesta Cop. Dada una proposición con respecto a la categoría C al intercambiar el dominio y el codominio de cada morfismo e intercambiando el orden de la composición de dos morfismos obtenemos una proposición dual considerando la categoría opuesta Cop. La dualidad como tal es la afirmación de que la verdad es un invariante bajo esta operación en las proposiciones. En otras palabras si una proposición es verdadera en C, entonces su proposición dual es cierta en Cop, y si una proposición es falsa en C, entonces su proposición dual es falsa en Cop. Dada una C es común el caso de que la categoría opuesta por sí misma es abstracta, Cop no necesariamente es una categoría que surja de la práctica matemática, en este caso otra categoría D se dice que está en dualidad con C si D y Cop son categorías equivalentes. En este caso cuando una categoría C y la categoría 'Cop son equivalentes entonces se dice que está categoría es auto dual. (es)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:date
|
- July 2008 (es)
- July 2008 (es)
|
| prop-es:t
| |
| dct:subject
| |
| rdfs:comment
|
- En teoría de categorías dualidad es una correspondencia entre propiedades de una categoría C y las llamadas propiedades duales de la categoría opuesta Cop. Dada una proposición con respecto a la categoría C al intercambiar el dominio y el codominio de cada morfismo e intercambiando el orden de la composición de dos morfismos obtenemos una proposición dual considerando la categoría opuesta Cop. La dualidad como tal es la afirmación de que la verdad es un invariante bajo esta operación en las proposiciones. En otras palabras si una proposición es verdadera en C, entonces su proposición dual es cierta en Cop, y si una proposición es falsa en C, entonces su proposición dual es falsa en Cop. (es)
- En teoría de categorías dualidad es una correspondencia entre propiedades de una categoría C y las llamadas propiedades duales de la categoría opuesta Cop. Dada una proposición con respecto a la categoría C al intercambiar el dominio y el codominio de cada morfismo e intercambiando el orden de la composición de dos morfismos obtenemos una proposición dual considerando la categoría opuesta Cop. La dualidad como tal es la afirmación de que la verdad es un invariante bajo esta operación en las proposiciones. En otras palabras si una proposición es verdadera en C, entonces su proposición dual es cierta en Cop, y si una proposición es falsa en C, entonces su proposición dual es falsa en Cop. (es)
|
| rdfs:label
|
- Dual (teoría de categorías) (es)
- Dual (teoría de categorías) (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
