Commit 2024-11-15 12:23 089baee3

feat(Condensed): a sequential limit of epimorphisms in light condensed modules is epimorphic (#18336) This is deduced from the more general statement about morphisms in the category of sheaves for the coherent topology on a preregular extensive category. This will eventually be used to prove that the category of light condensed modules has countable AB4*, see #18497 (WIP).