3 papers
math.CT2017
Distributive Minimization Comprehensions and the Polynomial Hierarchy
Joaquín Díaz Boils
A categorical point of view about minimization in subrecursive classes is presented by extending the concept of Symmetric Monoidal Comprehension to that of Distributive Minimizatio…
math.CT2015
A Geometry of Multimodal Systems
Joaquín Díaz Boils
Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories…
math.CT2015
Categorical Comprehensions and Recursion
Joaquín Díaz Boils
A new categorical setting is defined in order to characterize the subrecursive classes belonging to complexity hierarchies. This is achieved by means of coercion functors over a sy…