mathlib

4f673bde - feat(category_theory/limits/preserves): instances for composition preserving limits (#4921)

feat(category_theory/limits/preserves): instances for composition preserving limits (#4921) A couple of quick instances. I'm pretty sure these instances don't cause clashes since they're for subsingleton classes, and they shouldn't cause loops since they're just other versions of instances already there.