About the alga category

Anything related to the alga abstract algebra library.