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.

Estimated changes