I am currently studying

- homographies of invertible-free cancellative monoids [1]
- algebra, groups, semigroups, monoids, rings
- probability, computational processes, stochastic processes
- functional and non-functional specifications
- categories, semicategories, groupoids
- logic, theories, models, parsing
- source-to-source translation, porting, emulation

[1] These terms are defined at the following questions: for "invertible-free", see Can every cancellative invertible-free monoid be embedded in a group? and for "homography", see Is every invertible-free cancellative monoid action represented by "shifting" certain maps?