Estructuras de o-categoría generadas por funtores fieles y epi-objetos
En este artículo mostramos cómo un funtor fiel, con valores en una O-categoría, produce una estructura de O-categoría sobre su dominio. También probamos que la existencia de un epi-objeto en una O-categoría nos permite definir un funtor fiel con valores en P'os y, por lo tanto, otra estructura...
- Autores:
-
Ospina, Margarita
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1998
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/31669
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/31669
http://bdigital.unal.edu.co/21748/
- Palabra clave:
- O-category
faithful functor
epi-object
o-epi-object
o-epi-natural
O-categoría
funtor fiel
epi-objeto
transformaciones naturales especiales
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
Summary: | En este artículo mostramos cómo un funtor fiel, con valores en una O-categoría, produce una estructura de O-categoría sobre su dominio. También probamos que la existencia de un epi-objeto en una O-categoría nos permite definir un funtor fiel con valores en P'os y, por lo tanto, otra estructura de O-categoría sobre ella, que resulta comparable con la original. Por último, mostramos que si dos funtores fieles están relacionados por transformaciones naturales especiales, entonces producen estructuras de O-categoría comparables. |
---|