On validated numerics, category theory and computer algebra framework for simulation and computation in theoretical physics

We give a joint context for validated numerics, category theory, and computer algebra aspects in the string theory and formulate some results in terms of the context.