Interested in mathematics (homotopy theory, category theory, topos theory), programming languages and philosophy