#what (co-)algebras are