Sea $A$ y $B$ sean dos categorías cocompletas (es decir, cerradas bajo colímites pequeños) y $A'$ sea una subcategoría densa de $A$ es decir, cualquier objeto en $A$ es un colímite de objetos en $A'$ . Dado un functor $F': A' \to B$ ¿existe siempre una extensión del functor $F :A \to B$ ¿preservar todos los colímetros?
Respuesta
¿Demasiados anuncios?
odk
Puntos
144