preserves): preserving equalizers (#5044)

Commit

5 years ago

feat(category_theory/limits/preserves): preserving equalizers (#5044) Constructions and lemmas about preserving equalizers

Author

b-mehta

Parents