En teoría de categorías, una categoría es una estructura algebraica que consta de una colección de objetos, conectados unos con otros mediante flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición.

Property Value
dbo:abstract
  • En teoría de categorías, una categoría es una estructura algebraica que consta de una colección de objetos, conectados unos con otros mediante flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición. Un ejemplo clásico es la categoría de conjuntos, cuyos objetos son conjuntos y cuyas flechas son las funciones, y donde la composición de flechas es la composición usual de funciones. En general, los objetos y las flechas pueden ser objetos abstractos de cualquier tipo, y la noción de categoría provee de una manera abstracta y fundamental para describir entidades matemáticas y sus relaciones. Esta es la idea central de la teoría de categorías, una rama de las matemáticas que busca generalizar todas las demás teorías matemáticas en términos de objetos y flechas. Prácticamente cualquier rama de las matemáticas modernas se puede describir en términos de categorías, y mediante esta descripción, es común que se revelen propiedades y similitudes muy profundas entre áreas aparentemente distintas. Para notas históricas y fundamentos más profundos véase teoría de categorías. Dos categorías son iguales si tienen la misma colección de objetos, la misma colección de flechas, y la misma forma asociativa de componer flechas. Dos categorías también se pueden considerar equivalentes incluso si no son precisamente la misma. Muchas categorías muy cotidianas se denotan comúnmente con una abreviación del tipo de sus objetos, por ejemplo: Con se refiere a la categoría de conjuntos, Top se refiere a la categoría de espacios topológicos, Ab se refiere a la categoría de grupos abelianos, etc. (es)
  • En teoría de categorías, una categoría es una estructura algebraica que consta de una colección de objetos, conectados unos con otros mediante flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición. Un ejemplo clásico es la categoría de conjuntos, cuyos objetos son conjuntos y cuyas flechas son las funciones, y donde la composición de flechas es la composición usual de funciones. En general, los objetos y las flechas pueden ser objetos abstractos de cualquier tipo, y la noción de categoría provee de una manera abstracta y fundamental para describir entidades matemáticas y sus relaciones. Esta es la idea central de la teoría de categorías, una rama de las matemáticas que busca generalizar todas las demás teorías matemáticas en términos de objetos y flechas. Prácticamente cualquier rama de las matemáticas modernas se puede describir en términos de categorías, y mediante esta descripción, es común que se revelen propiedades y similitudes muy profundas entre áreas aparentemente distintas. Para notas históricas y fundamentos más profundos véase teoría de categorías. Dos categorías son iguales si tienen la misma colección de objetos, la misma colección de flechas, y la misma forma asociativa de componer flechas. Dos categorías también se pueden considerar equivalentes incluso si no son precisamente la misma. Muchas categorías muy cotidianas se denotan comúnmente con una abreviación del tipo de sus objetos, por ejemplo: Con se refiere a la categoría de conjuntos, Top se refiere a la categoría de espacios topológicos, Ab se refiere a la categoría de grupos abelianos, etc. (es)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 4533839 (xsd:integer)
dbo:wikiPageLength
  • 16713 (xsd:integer)
dbo:wikiPageRevisionID
  • 120214142 (xsd:integer)
prop-es:author1Link
  • William Lawvere (es)
  • William Lawvere (es)
prop-es:authorLink
  • Saunders Mac Lane (es)
  • Nathan Jacobson (es)
  • Michael Barr (es)
  • Saunders Mac Lane (es)
  • Nathan Jacobson (es)
  • Michael Barr (es)
prop-es:chapter
  • Handbook of Categorical Algebra (es)
  • Handbook of Categorical Algebra (es)
prop-es:contribution
  • Category Theory (es)
  • Category Theory (es)
prop-es:date
  • 1973 (xsd:integer)
  • 1990 (xsd:integer)
  • 1991 (xsd:integer)
  • 1994 (xsd:integer)
  • 1997 (xsd:integer)
  • 1998 (xsd:integer)
  • 2002 (xsd:integer)
  • 2006 (xsd:integer)
  • 2009 (xsd:integer)
prop-es:edition
  • 2 (xsd:integer)
prop-es:editorFirst
  • Edward N. (es)
  • Edward N. (es)
prop-es:editorLast
  • Zalta (es)
  • Zalta (es)
prop-es:first
  • Michael (es)
  • Horst (es)
  • Jean-Pierre (es)
  • Andrea (es)
  • Francis (es)
  • Charles (es)
  • William (es)
  • Giuseppe (es)
  • Nathan (es)
  • Steve (es)
  • Saunders (es)
  • Jiří (es)
  • George E. (es)
  • Giandomenico (es)
  • Michael (es)
  • Horst (es)
  • Jean-Pierre (es)
  • Andrea (es)
  • Francis (es)
  • Charles (es)
  • William (es)
  • Giuseppe (es)
  • Nathan (es)
  • Steve (es)
  • Saunders (es)
  • Jiří (es)
  • George E. (es)
  • Giandomenico (es)
prop-es:isbn
  • 0 (xsd:integer)
  • 978 (xsd:integer)
  • 262011255 (xsd:integer)
  • 521061199 (xsd:integer)
  • 521472490 (xsd:integer)
  • 9780198568612 (xsd:double)
  • 9788876990311 (xsd:double)
prop-es:last
  • Longo (es)
  • Wells (es)
  • Lawvere (es)
  • Sica (es)
  • Barr (es)
  • Jacobson (es)
  • Marquis (es)
  • Herrlich (es)
  • Adámek (es)
  • Asperti (es)
  • Awodey (es)
  • Borceux (es)
  • Mac Lane (es)
  • Schanuel (es)
  • Strecker (es)
  • Longo (es)
  • Wells (es)
  • Lawvere (es)
  • Sica (es)
  • Barr (es)
  • Jacobson (es)
  • Marquis (es)
  • Herrlich (es)
  • Adámek (es)
  • Asperti (es)
  • Awodey (es)
  • Borceux (es)
  • Mac Lane (es)
  • Schanuel (es)
  • Strecker (es)
prop-es:publicationPlace
  • Cambridge (es)
  • Cambridge (es)
prop-es:publisher
prop-es:series
  • Advanced studies in mathematics and logic (es)
  • Graduate Texts in Mathematics 5 (es)
  • Oxford logic guides (es)
  • Advanced studies in mathematics and logic (es)
  • Graduate Texts in Mathematics 5 (es)
  • Oxford logic guides (es)
prop-es:title
  • Stanford Encyclopedia of Philosophy (es)
  • Basic algebra (es)
  • Conceptual Mathematics: A First Introduction to Categories (es)
  • Abstract and Concrete Categories (es)
  • Categories for the Working Mathematician (es)
  • Categories, Types and Structures (es)
  • Category Theory (es)
  • Category theory (es)
  • Encyclopedia of Mathematics and its Applications (es)
  • Toposes, Triples and Theories (es)
  • What is category theory? (es)
  • Stanford Encyclopedia of Philosophy (es)
  • Basic algebra (es)
  • Conceptual Mathematics: A First Introduction to Categories (es)
  • Abstract and Concrete Categories (es)
  • Categories for the Working Mathematician (es)
  • Categories, Types and Structures (es)
  • Category Theory (es)
  • Category theory (es)
  • Encyclopedia of Mathematics and its Applications (es)
  • Toposes, Triples and Theories (es)
  • What is category theory? (es)
prop-es:url
  • http://katmat.math.uni-bremen.de/acc/acc.pdf
  • http://plato.stanford.edu| contribution-url=http://plato.stanford.edu/entries/category-theory/ (es)
  • http://www.cwru.edu/artsci/math/wells/pub/ttt.html| isbn=0387961151 (es)
  • ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf (es)
prop-es:urlarchivo
  • https://web.archive.org/web/20100821021308/http://www.cwru.edu/artsci/math/wells/pub/ttt.html| fechaarchivo=21 de agosto de 2010 (es)
  • https://web.archive.org/web/20100821021308/http://www.cwru.edu/artsci/math/wells/pub/ttt.html| fechaarchivo=21 de agosto de 2010 (es)
prop-es:volume
  • 3 (xsd:integer)
  • 49 (xsd:integer)
  • 50 (xsd:integer)
dct:subject
rdfs:comment
  • En teoría de categorías, una categoría es una estructura algebraica que consta de una colección de objetos, conectados unos con otros mediante flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición. (es)
  • En teoría de categorías, una categoría es una estructura algebraica que consta de una colección de objetos, conectados unos con otros mediante flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición. (es)
rdfs:label
  • Categoría (matemáticas) (es)
  • Categoría (matemáticas) (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of