At Statebox we use category theory to model computation, where the objects of a category represent the…