Eine neue Sichtweise auf strukturierte Analyse‑ und Designmodelle: das Buch verbindet Initial-Algebra-Semantik mit Kategorientheorie, schafft ein konsistentes mathematisches Rahmenwerk und erleichtert die Modellierung komplexer Softwaresysteme.