Diferencia entre revisiones de «Categoría (matemáticas)»
Contenido eliminado Contenido añadido
Etiquetas: posible pruebas posibles pruebas |
m Revertidos los cambios de 189.236.38.153 (disc.) a la última edición de SeroBOT Etiqueta: Reversión |
||
Línea 18:
== Historia ==
La noción de categoría, y en general, las primeras nociones de teoría de categorías, aparecieron por primera vez en 1945 en un artículo de [[Samuel Eilenberg]] y [[Saunders Mac Lane]] llamado "General Theory of Natural Equivalences" (''Teoría general de las equivalencias naturales'').<ref>Sica (2006), p. 223; Awodey (2006), p. 1.</ref>
<!--==Categorías pequeñas==
A category ''C'' is called '''small''' if both ob(''C'') and hom(''C'') are actually [[Set (mathematics)|sets]] and not [[proper class]]es, and '''large''' otherwise. A '''locally small category''' is a category such that for all objects ''a'' and ''b'', the hom-class hom(''a'', ''b'') is a set, called a '''homset'''. Many important categories in mathematics (such as the category of sets), although not small, are at least locally small.
-->
== Ejemplos ==
* La categoría '''Con''' es aquella cuyos objetos son todos los conjuntos y si A y B son conjuntos, entonces '''Con'''(A,B) es el conjunto de funciones con dominio A y codominio B. Ésta es la categoría más comúnmente usada en matemáticas.
| |||