This forces us to sum over all possible decompositions of an arrow giving us an associative convolution algebra".
http://en.wikipedia.org/wiki/Convolution#Discrete_convolution
Why sum over all possible decompositions? How does this ensure we get an algebra? :(
It is described on pages 19 to 20 properly here http://www.its.caltech.edu/~matilde/SpinFoamCover.pdf They use convolution, the reason is this factorization of maps reason, but I don't see why :(