Does anyone know of any work on this after Manes&Arbib74? In particular they reference their own, to be published, Kleisli Machines. Did this eventuate? thanks Daniel +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++