An Application of Category-Theoretic Design Methods to the Control of a Simulated Robot | IEEE Conference Publication | IEEE Xplore