 The author’s argue for channels associating, hence the binary composition operator on channels being associative, i.e., for all channels \(a,\) \(b\), and \(c\), if \(a\circ(b\circ c)\), then \((a\circ b)\circ c\)). Those familiar with category theory will know the refrain “channels associate!”.