Llamar a una gavilla flasque si para todos los conjuntos abiertos $U \subset V$ el mapa de restricción $$\mathcal{F}(V) \to \mathcal{F}(U)$$ es suryente. ¿Es toda gavilla una subgavilla de una gavilla flasqueada?
Puede ser una pregunta simple, pero ¿cómo se puede probar que $\mathcal{F}$ es una subserie de $\mathcal{G}$ ? Soy nuevo en la teoría de gavillas y necesito demostrar que existe un monomorfismo de gavilla desde cualquier gavilla $\mathcal{G}$ a una gavilla flasqueada, que espero que sea esta $\mathcal{G}$ . Si es así, supongo que es equivalente a tu afirmación. Podría abrir una nueva pregunta pero tiene el riesgo de ser bastante similar a esta, así que... Gracias por tu ayuda :)
0 votos
Sí, ¿sabes qué es el espacio étalé de una gavilla?
2 votos
La frase de búsqueda aquí es "Godement resolution".
1 votos
o "gavilla de secciones discontinuas".