Managing for whom? Is that a resource optimization problem? What if I use a control monad that does the same thing? If TF finds the shortest path for a computation does that make it an OS according to your definition ?

JSON and SQL are closer to preimages of data and computation manifolds respectively that are projected (or fibrated) via Kan