Skip to main content
This account is temporarily suspended. The suspension period ends on Jan 9, 2031 at 15:39.
David Pokorny's user avatar
David Pokorny's user avatar
David Pokorny's user avatar
David Pokorny
  • Member for 10 years, 5 months
  • Last seen more than 3 years ago
  • California, USA

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?

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
bronze badge

This user hasn’t posted yet.