Subcategoría reflexiva

En matemáticas , se dice que una subcategoría completa A de una categoría B es reflexiva en B cuando el funtor de inclusión de A a B tiene un adjunto izquierdo . ^{[1] : 91} Este adjunto a veces se denomina reflector o localización . ^[2] Dualmente, se dice que A es correflectiva en B cuando el funtor de inclusión tiene un adjunto derecho .

De manera informal, un reflector actúa como una especie de operación de terminación: agrega las piezas "faltantes" de la estructura de tal manera que reflejarlas nuevamente no tenga ningún efecto.

Se dice que una subcategoría completa A de una categoría B es reflexiva en B si para cada B - objeto B existe un A - objeto y un B - morfismo tales que para cada B - morfismo a un A - objeto existe un A - morfismo único con . $Estilo de visualización A_{B}}$ ${\displaystyle r_{B}\colon B\to A_{B}}$${\displaystyle f\colon B\a A}$${\estilo de visualización A}$${\displaystyle {\overline {f}}\colon A_{B}\to A}$${\displaystyle {\overline {f}}\circ r_{B}=f}$

El par se llama A-reflexión de B. El morfismo se llama flecha de A-reflexión. (Aunque a menudo, por razones de brevedad, hablamos solo de él como A -reflexión de B ). ${\estilo de visualización (A_{B},r_{B})}$$estilo de visualización rB$$Estilo de visualización A_{B}}$

Esto equivale a decir que el funtor de incrustación es un adjunto derecho. El funtor adjunto izquierdo se llama reflector . La función es la unidad de este adjunto. ${\displaystyle E\colon \mathbf {A} \hookrightarrow \mathbf {B} }$ ${\displaystyle R\colon \mathbf {B} \a \mathbf {A} }$$estilo de visualización rB$

El reflector se asigna al objeto A y para un morfismo B está determinado por el diagrama de conmutación.${\estilo de visualización B}$$Estilo de visualización A_{B}}$${\estilo de visualización Rf}$${\estilo de visualización f}$

Si todas las flechas de reflexión A son epimorfismos (extremales) , entonces se dice que la subcategoría A es epirreflectiva (extremal) . De manera similar, es birreflectiva si todas las flechas de reflexión son bimorfismos .

Todas estas nociones son casos especiales de la generalización común: la subcategoría reflexiva, donde es una clase de morfismos. ${\estilo de visualización E}$${\estilo de visualización E}$

La envoltura -reflectiva de una clase A de objetos se define como la subcategoría -reflectiva más pequeña que contiene A. Así, podemos hablar de envoltura reflectiva, envoltura epirreflectiva, envoltura epirreflectiva extremal, etc. ${\estilo de visualización E}$${\estilo de visualización E}$

Una subcategoría antirreflectiva es una subcategoría A completa tal que los únicos objetos de ^B que tienen una flecha de reflexión A son aquellos que ya están en A. ^{[ cita requerida} ]

Las nociones duales a las nociones mencionadas anteriormente son correflexión, flecha de correflexión, subcategoría (mono)correflectiva, casco correflectivo y subcategoría anti-correflectiva.

• La categoría de grupos abelianos Ab es una subcategoría reflexiva de la categoría de grupos , Grp . El reflector es el funtor que envía cada grupo a su abelianización . A su vez, la categoría de grupos es una subcategoría reflexiva de la categoría de semigrupos inversos . ^[3]
• De manera similar, la categoría de álgebras asociativas conmutativas es una subcategoría reflexiva de todas las álgebras asociativas, donde el reflector se obtiene mediante el ideal del conmutador . Esto se utiliza en la construcción del álgebra simétrica a partir del álgebra tensorial .
• Dualmente, la categoría de álgebras asociativas anticonmutativas es una subcategoría reflexiva de todas las álgebras asociativas, donde el reflector se obtiene por cociente con el ideal anticonmutador. Esto se utiliza en la construcción del álgebra exterior a partir del álgebra tensorial.
• La categoría de cuerpos es una subcategoría reflexiva de la categoría de dominios integrales (con homomorfismos de anillos inyectivos como morfismos). El reflector es el funtor que envía cada dominio integral a su cuerpo de fracciones .
• La categoría de grupos de torsión abelianos es una subcategoría correflectiva de la categoría de grupos abelianos. El correflector es el funtor que envía cada grupo a su subgrupo de torsión .
• Las categorías de grupos abelianos elementales , p -grupos abelianos y p -grupos son todas subcategorías reflexivas de la categoría de grupos, y los núcleos de los mapas de reflexión son objetos de estudio importantes; véase el teorema del subgrupo focal .
• La categoría de grupos es una subcategoría correflexiva de la categoría de monoides : el adjunto derecho asigna un monoide a su grupo de unidades . ^[4]

• La categoría de espacios de Kolmogorov (espacios T ₀ ) es una subcategoría reflexiva de Top , la categoría de espacios topológicos , y el cociente de Kolmogorov es el reflector.
• La categoría de espacios completamente regulares CReg es una subcategoría reflexiva de Top . Al tomar los cocientes de Kolmogorov, se ve que la subcategoría de espacios de Tichonoff también es reflexiva.
• La categoría de todos los espacios compactos de Hausdorff es una subcategoría reflexiva de la categoría de todos los espacios de Tichonoff (y de la categoría de todos los espacios topológicos ^{[2] : 140} ). El reflector está dado por la compactificación de Stone–Čech .
• La categoría de todos los espacios métricos completos con aplicaciones uniformemente continuas es una subcategoría reflexiva de la categoría de espacios métricos . El reflector es la terminación de un espacio métrico en objetos y la extensión por densidad en flechas. ^{[1] : 90}
• La categoría de haces es una subcategoría reflexiva de los prehaces en un espacio topológico. El reflector es la gavillación, que asigna a un prehaz el haz de secciones del haz de sus gérmenes.
• La categoría Seq de espacios secuenciales es una subcategoría coflectiva de Top . La correflexión secuencial de un espacio topológico es el espacio , donde la topología es una topología más fina que la que consiste en todos los conjuntos secuencialmente abiertos en (es decir, complementos de conjuntos secuencialmente cerrados ). ^[5]${\displaystyle (X,\tau )}$${\displaystyle (X,\tau _{\mathrm {seq} })}$${\displaystyle \tau _{\text{seq}}}$${\displaystyle \tau }$${\displaystyle X}$

• La categoría de espacios de Banach es una subcategoría reflexiva de la categoría de espacios normados y operadores lineales acotados . El reflector es el funtor de compleción de norma.

• Para cualquier sitio de Grothendieck ( C , J ), el topo de haces en ( C , J ) es una subcategoría reflexiva del topo de prehaces en C , con la propiedad especial adicional de que el funtor reflector es exacto a la izquierda . El reflector es el funtor de gavillamiento a  : Presh( C ) → Sh( C , J ), y el par adjunto ( a , i ) es un ejemplo importante de un morfismo geométrico en la teoría de topos.

• Los componentes del counit son isomorfismos . ^{[2] : 140  [1]}
• Si D es una subcategoría reflexiva de C , entonces el funtor de inclusión D → C crea todos los límites que están presentes en C . ^{[2] : 141}
• Una subcategoría reflexiva tiene todos los límites que están presentes en la categoría ambiental. ^{[2] : 141}
• La mónada inducida por la unión reflector/localización es idempotente. ^{[2] : 158}

• Adámek, Jiří; Herrlich, Horst; Strecker, George E. (2004). Categorías abstractas y concretas (PDF) . Nueva York: John Wiley & Sons .
• Peter Freyd , Andre Scedrov (1990). Categorías, Alegorías . Biblioteca matemática, vol. 39. Holanda septentrional . ISBN 978-0-444-70368-2.
• Herrlich, Horst (1968). Topologische Reflexionen und Coreflexionen . Apuntes de clases de matemáticas. 78. Berlín: Springer .
• Mark V. Lawson (1998). Semigrupos inversos: la teoría de simetrías parciales . World Scientific. ISBN 978-981-02-3316-7.