mathlib

3b48f7a5 - docs(category_theory): provide missing module docs (#9352)

docs(category_theory): provide missing module docs (#9352) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>