mathlib3

fix(category_theory/limits): add two missing duals

#2122

Merged