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...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 1998 |
| País: | Colombia |
| Institución: | Universidad Nacional de Colombia |
| Repositorio: | Repositorio UN |
| Idioma: | español |
| 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/ |
| Access Level: | acceso abierto |
| Palabra clave: | O-category faithful functor epi-object o-epi-object o-epi-natural O-categoría funtor fiel epi-objeto transformaciones naturales especiales |
| Sumario: | 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. |
|---|