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

In this paper we show how a faithful functor, with values in an 0-category, gives rise to a struciure of O-category on its domain. We also prove that the existence of an epi-object in an O-category allows us to define a faithful [unctor with values in P'os and, then, another structure of O-category on it, comparable with the original. Finally, we show that if two faithful functors are related by special natural transformations then they produce comparable siructures of O-category.