mathlib

f2c84aa0 - doc(algebra/category/*): provide two short docstrings and shorten lines (#5984)

doc(algebra/category/*): provide two short docstrings and shorten lines (#5984) also fixed one minor typo. Co-authored-by: Julian-Kuelshammer <68201724+Julian-Kuelshammer@users.noreply.github.com>