Optimization Problems Categories

摘要

This work presents a categorical approach to cope with some questions originally studied within Computational Complexity Theory. It proceeds a research with theoretical emphasis, aiming at characterising the structural properties of optimization problems, related to the approximative issue, by means of Category Theory. In order to achieve it, two new categories are defined: the OPT category, which objects are optimization problems and the morphisms are the reductions between them, and the APX category, that has approximation problems as objects and approximation-preserving reductions as morphisms. Following the basic idea of categorical shape theory, a comparison mechanism between these two categories is defined and a hierarchical structure of approximation to each optimization problem can be modelled.