Commit 2021-05-25 00:46 c3dcb7d4

feat(category_theory/limits): comma category colimit construction (#7535) As well as the duals. Also adds some autoparams for consistency with has_limit and some missing instances which are basically just versions of existing things