I suppose the subject I know best is the elementary theory of monoidal categories, the semantics of linear logic, and so forth. But actually I am more interested in discrete and computational mathematics.