“Keep definition, change category” - A practical approach to state-based system calculi

The paper also addresses the problem of preserving monadic strength in the move from original to target (Kleisli) categories, a topic which bears relationship to recent studies in categorial physics.