Irreducible representable sheaf for the regular coverage

ID: irreducible-representable-sheaf-for-the-regular-coverage

If a family of subsheaves covers , local membership of gives a regular epimorphism belonging to one subsheaf. The sheaf condition descends that section to in the same subsheaf. All maps into are restrictions of , so that subsheaf is . Thus representable sheaves for the regular coverage are irreducible even for arbitrary unions.

New to topics? Read the docs here!