mathlib

0a490302 - fix(category_theory): turn `has_limits` classes into structures (#896)

fix(category_theory): turn `has_limits` classes into structures (#896) * fix(category_theory): turn `has_limits` classes into structures * fixing all the other pi-type typclasses * oops