docs(category_theory): missing module docs (#6752)
Module docs for a number of files under `category_theory/`.
This is largely a "low hanging fruit" selection; none of the files are particularly complicated.
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
