Commit 2024-06-08 22:54 ed633857
View on Github →feat(CategoryTheory/Sites): reflecting and preserving local injectivity and surjectivity (#13621) This PR proves that precomposition with a cocontinuous functor preserves local injectivity and surjectivity of morphisms of presheaves, and that precomposition with a cover preserving and cover dense functor reflects the same properties.