Interval Computations and their Categorification

By the example of the proof of Minkowski’s conjecture on critical determinant we give a category theory framework for interval computation.