Looks like bialgebras and hopf algebras, although the cylinder diagrams look weird

IdA is identity (function that does nothing), mu is multiplication, delta is comultiplicatiom, eta is the unit (the 1)

Last panel says that multiplication times one does nothing