mathlib3

feat(category_theory/limits): support for special shapes of (co)limits

#938

Merged