Commit 2024-10-17 08:31 b1ec18a8
View on Github →feat(CategoryTheory/Sites): pretopology induced by a morphism property (#17736) Introduces the pretopology induced by a morphism property satisfying sufficient stability properties.
feat(CategoryTheory/Sites): pretopology induced by a morphism property (#17736) Introduces the pretopology induced by a morphism property satisfying sufficient stability properties.