En matemáticas , específicamente en la teoría de categorías , la categoría de categorías pequeñas , denotada por Cat , es la categoría cuyos objetos son todas categorías pequeñas y cuyos morfismos son functores entre categorías. En realidad, el gato puede considerarse como una categoría 2 con transformaciones naturales que sirven como 2 morfismos .
El objeto inicial de Cat es la categoría 0 vacía , que es la categoría sin objetos y sin morfismos. [1] El objeto terminal es la categoría terminal o categoría trivial 1 con un solo objeto y morfismo. [2]
La categoría Gato es en sí misma una categoría grande y, por lo tanto, no es un objeto en sí misma. Para evitar problemas análogos a la paradoja de Russell, no se puede formar la "categoría de todas las categorías". Pero es posible formar una cuasicategoría (es decir, los objetos y los morfismos simplemente forman un conglomerado ) de todas las categorías.
Categoría libre
La categoría Cat tiene un functor U olvidadizo en la categoría Quiver Quiv :
- U : Gato → Quiv
Este functor olvida los morfismos de identidad de una categoría dada, y olvida las composiciones de morfismos. El adjunto izquierdo de este functor es un functor F que lleva a Quiv a las categorías libres correspondientes :
- F : Quiv → Gato
1-Propiedades categóricas
- El gato tiene todos los límites y límites pequeños .
- Cat es una categoría cerrada cartesiana , con exponencial dado por la categoría de functor .
- Cat no es localmente cartesiano cerrado.
- El gato es finamente presentable localmente .
Ver también
- Nervio de una categoría
- Conjunto universal , la noción de un 'conjunto de todos los conjuntos'
Referencias
- Kashiwara, Masaki ; Schapira, Pierre (2006). Categorías y gavillas .
enlaces externos
- ^ categoría vacía en nLab
- ^ categoría de terminal en nLab