Simplify Category, add topology, monoid, and perm sections.