Birkhoffsche und kategorische Algebra