Kategorielle Form des Satzes von G. Birkhoff über die Charakterisierung von Varietäten - Thode, Thomas (1970)