Théorie de groupeCouvre les bases de la théorie des groupes, y compris les ensembles, les applications et les exemples comme les permutations et les rotations.
Catégories de bétonCouvre les catégories de béton avec des ensembles et des structures, y compris Ens, Gr, Ab et Vectk.