mathlib

12945004 - feat(category_theory/limits): preserving pullbacks (#5668)

feat(category_theory/limits): preserving pullbacks (#5668) This touches multiple files but it's essentially the same thing as all my other PRs for preserving limits of special shapes - I can split it up if you'd like but hopefully this is alright?