Commit 2023-11-21 07:27 0f2ac914
View on Github →chore(CategoryTheory): relax assumptions on category for regular sheaf condition (#8514) The sheaf condition on the regular topology should only assume that effective epis have kernel pairs instead of all pullbacks existing.