Timeline for Has this theorem on cancellative monoid actions been discovered and published?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 3, 2021 at 18:22 | history | edited | YCor |
edited tags
|
|
| Jan 3, 2021 at 17:29 | history | edited | David Pokorny | CC BY-SA 4.0 |
Make equivalence class-valued mapping explicit.
|
| Jan 3, 2021 at 16:01 | comment | added | David Pokorny | Hello, and good morning. Yes, the construction is similar if not exactly the same. Bimorphisms are defined here [1] as morphisms that satisfy left and right cancellation. $W$ is assumed non-trivial throughout except for the last sentence, which was intended to be subjunctive. Taking away the identity-preserving requirement, a homography is just a prefix non-decreasing [2] map. [1] en.wikipedia.org/wiki/Category_(mathematics) [2] See p. 501 of Nivat, M., Wirsing, M. (1996). Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. | |
| Jan 3, 2021 at 15:39 | comment | added | Benjamin Steinberg | You probably want W nontrivial. I suspect that it is known the universal monoid of a cancelative senicategory is cancellative. I dont know what a bimorphism is. I think you are the first person looking at homographies. This seems a nice generalization of what I did for free monoids | |
| Jan 3, 2021 at 14:32 | history | asked | David Pokorny | CC BY-SA 4.0 |