mathlib3

docs(category_theory/limits): adding many docstrings

#2185

Merged