Commit 2026-03-03 13:11 f460462b
View on Github →feat(CategoryTheory/Sites): homotopy equivalent hypercovers have equivalent sheaf conditions (#35902)
If E and F are homotopy equivalent pre-1-hypercovers, then the multifork associated to E is exact if and only if the multifork associated to F is exact.