To gain a big picture of (pre-categorical) mathematics, is it correct to divide mathematical theories resp. structures in two big families? universal algebra: classes of objects with arbitrary ...
I'm trying to understand a little bit about operads. I think I understand that monoids are algebras over the associative operad in sets, but can groups be realised as algebras over some operad? In ...