DIMITRIS TSEMENTZIS

          I am logician and category theorist.