 Categorial information theory is strongly algebraic in flavour. Fusion ‘\(\otimes\)’ corresponds to the binary composition operator ‘.’, and ‘\(\vdash\)’ to the partial order ‘\(\le\)’ (see Dunn 1993). The merge and function operations are related to each other via the familiar residuation conditions: 