Sobre las subcategorías reflexivas y correflexivas de la categoría de los espacios topológicos

En este trabajo se presentan las definiciones y algunos ejemplos de subcategorías reflexivas y corre flexivas, se construyen ejemplos de estos dos conceptos en la categoría Top usando para ello los conceptos de topologías iniciales y finales de las categorías topológicas y con estos elementos se con...

Full description

Autores:
Hernández Pardo, Jorge Adelmo
Tipo de recurso:
Fecha de publicación:
2012
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/21387
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/21387
http://bdigital.unal.edu.co/12179/
Palabra clave:
51 Matemáticas / Mathematics
62 Ingeniería y operaciones afines / Engineering
Categoría
Funtor
Subcategorías
Reflexiva
Correflexivas
Elevador
Coelevadores
Monoide
Topos
Category
Functor
Subcategory
Reflective
Correflective
Elevator
Coelevator
Monoid
Toposes
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
Description
Summary:En este trabajo se presentan las definiciones y algunos ejemplos de subcategorías reflexivas y corre flexivas, se construyen ejemplos de estos dos conceptos en la categoría Top usando para ello los conceptos de topologías iniciales y finales de las categorías topológicas y con estos elementos se construyen elevadores y coelevadores de estructura. En la topología de los espacios punteados Top* se construyen elevadores y coelevadores de estructura y por tanto sub categorías correflexivas y reflexivas sin usar las técnicas de estructuras iniciales y finales, además con estos nuevos métodos en la categoría Top* se construyen ejemplos de espacios topológicos compactos y espacios topológicos conexos. Se desarrolla en Top* la teoría expuesta por el profesor Reinaldo Montañez en su tesis doctoral, en la categoría Top y en particular se muestra, de manera original, una forma de sumergir una subcategoría de Top* en topos de pre- haces. Los topos construidos toman como punto de partida el monoide M de los endomorfismos de un espacio topológico punteado. Finalmente se desarrollan métodos de construcción de subcategorías reflexivas y cooreflexivas en cualquier categoría topológica.