I am interested in working with some finite monoids. Looking at http://doc.sagemath.org/html/en/reference/categories/sage/categories/monoids.html I have not found anything about how to define a finite monoid by simply providing its (binary) "multiplication" table.
Is there some way to do so?