mathlib

6773f526 - feat(category_theory): limits in the category of indexed families (#3737)

feat(category_theory): limits in the category of indexed families (#3737) A continuation of #3735, hopefully useful in #3638. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>