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...

Full description

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
Description
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.