Hola a todos. Tengo un pre-cosheaf en la categoría de espacios vectoriales. ¿Cómo cosheafifico? No he encontrado literatura sobre este tema.
Seré más específico. Deje que %-%-% sea un espacio topológico y % -%%la categoría de conjunto abierto de %-%-%. Deje que %-%-% sea la categoría que consta de espacios vectoriales reales como sus objetos y mapas lineales como sus morfismismos. Mi pre-cosheaf es un functor %-%-%. ¿Cómo coefifido %-%-%?
