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 and for "homography", see ©