здесь вот (fprog/3/wave,erlang,tcl) выясняется, что вместо ручной композиции операций требуется
таблица композиции. Ну ё, вот вам и категория уже, а! И вот пример, когда декларативно задаётся композиция, а не получается путём императивного применения операций.