My research is maily on abstraction processes applied to different branches, as Mathematics, Physics, Philosophy and Computer Science. Some examples of abstraction process are “generalization” and “unification”. Another example is the so-called “categorification”, which involves embedding an area inside Category Theory.

I can say that most of my work is related (some part more directly, another part more indirectly) to the “Axiomatization Problem of Physics”, which can be viewed as a modern interpretation of Hilbert’s sixth problem, one of the Millennium problems.

As an example of what I study, you can see this research project. You can also take a look at arxiv and HAL.