Is your work at all based on Rydeheard and Burstall's "Computational Category Theory"? They also do category theory in ML.