Sobrecategoría

En matemáticas, específicamente en teoría de categorías , una sobrecategoría (también llamada categoría de porción), así como una subcategoría (también llamada categoría de coslice), es una clase distinguida de categorías utilizadas en múltiples contextos, como en los espacios de cobertura (espace étale) . Se introdujeron como un mecanismo para realizar un seguimiento de los datos que rodean a un objeto fijo en alguna categoría . Existe una noción dual de subcategoría, que se define de manera similar.${\estilo de visualización X}$${\displaystyle {\mathcal {C}}}$

Sea una categoría y un objeto fijo de ^{[1] pág. 59.} La sobrecategoría (también llamada categoría de porción ) es una categoría asociada cuyos objetos son pares donde es un morfismo en . Entonces, un morfismo entre objetos viene dado por un morfismo en la categoría tal que el siguiente diagrama conmuta${\displaystyle {\mathcal {C}}}$${\estilo de visualización X}$${\displaystyle {\mathcal {C}}}$${\displaystyle {\mathcal {C}}/X}$${\displaystyle (A,\pi )}$${\displaystyle \pi :A\to X}$${\displaystyle {\mathcal {C}}}$${\displaystyle f:(A,\pi )\to (A',\pi ')}$${\displaystyle f:A\to A'}$${\displaystyle {\mathcal {C}}}$

${\displaystyle {\begin{matrix}A&\xrightarrow {f} &A'\\\pi \downarrow {\text{ }}&{\text{ }}&{\text{ }}\downarrow \pi '\\X&=&X\end{matrix}}}$

Existe una noción dual llamada subcategoría (también llamada categoría de coslice ) cuyos objetos son pares donde es un morfismo en . Entonces, los morfismos en están dados por morfismos en tales que el siguiente diagrama conmuta${\displaystyle X/{\mathcal {C}}}$${\displaystyle (B,\psi)}$${\displaystyle \psi :X\a B}$${\displaystyle {\mathcal {C}}}$${\displaystyle X/{\mathcal {C}}}$${\displaystyle g:B\to B'}$${\displaystyle {\mathcal {C}}}$

${\displaystyle {\begin{matrix}X&=&X\\\psi \downarrow {\text{ }}&{\text{ }}&{\text{ }}\downarrow \psi '\\B&\xrightarrow {g} &B'\end{matrix}}}$

Estas dos nociones tienen generalizaciones en la teoría de dos categorías ^[2] y en la teoría de categorías superiores ^{[3] pág. 43} , con definiciones análogas o esencialmente iguales.

Muchas propiedades categóricas de son heredadas por las subcategorías y sobrecategorías asociadas para un objeto . Por ejemplo, si tiene productos y coproductos finitos , es inmediato que las categorías y tengan estas propiedades ya que el producto y el coproducto pueden construirse en , y a través de propiedades universales, existe un morfismo único ya sea hacia o desde . Además, esto también se aplica a límites y colímites .${\displaystyle {\mathcal {C}}}$${\estilo de visualización X}$${\displaystyle {\mathcal {C}}}$${\displaystyle {\mathcal {C}}/X}$${\displaystyle X/{\mathcal {C}}}$${\displaystyle {\mathcal {C}}}$${\estilo de visualización X}$${\estilo de visualización X}$

Recordemos que un sitio es una generalización categórica de un espacio topológico introducido por primera vez por Grothendieck . Uno de los ejemplos canónicos proviene directamente de la topología, donde la categoría cuyos objetos son subconjuntos abiertos de algún espacio topológico y los morfismos están dados por funciones de inclusión. Entonces, para un subconjunto abierto fijo , la sobrecategoría es canónicamente equivalente a la categoría para la topología inducida en . Esto se debe a que cada objeto en es un subconjunto abierto contenido en .${\displaystyle {\mathcal {C}}}$${\displaystyle {\text{Abrir}}(X)}$${\estilo de visualización U}$${\estilo de visualización X}$${\estilo de visualización U}$${\displaystyle {\text{Abrir}}(X)/U}$${\displaystyle {\text{Abierto}}(U)}$${\displaystyle U\subseteq X}$${\displaystyle {\text{Abrir}}(X)/U}$${\estilo de visualización V}$${\estilo de visualización U}$

La categoría de álgebras conmutativas es equivalente a la subcategoría de la categoría de anillos conmutativos. Esto se debe a que la estructura de una álgebra en un anillo conmutativo está codificada directamente por un morfismo de anillo . Si consideramos la categoría opuesta, es una sobrecategoría de esquemas afines, o simplemente .${\estilo de visualización A}$${\displaystyle A/{\text{Anillo CR}}}$${\estilo de visualización A}$${\estilo de visualización B}$${\displaystyle A\to B}$${\displaystyle {\text{Afirmativo}}/{\text{Específico}}(A)}$${\displaystyle {\text{Aff}}_{A}}$

Otra sobrecategoría común considerada en la literatura son las sobrecategorías de espacios, como esquemas, variedades suaves o espacios topológicos. Estas categorías codifican objetos relativos a un objeto fijo, como la categoría de esquemas sobre , . Los productos de fibra en estas categorías pueden considerarse intersecciones, dado que los objetos son subobjetos del objeto fijo.${\estilo de visualización S}$${\displaystyle {\text{Sch}}/S}$

• Categoría de coma