Timeline for The canonical category defined by a partially defined category
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 19, 2023 at 19:27 | history | became hot network question | |||
| May 19, 2023 at 15:11 | comment | added | Benjamin Steinberg | In semigroup theory we call this the universal semigroup of a partial semigroup. However, you should state clearly what is your definition of a partial category. There are a number of ways to do it. Stallings gave an axiomatization of a pregroup and his notion of associativity is sufficiently strong to guarantee that the elements looks like sequences with the equivalence relation you described. But under weaker notions of associativity, you cannot do something so simple and it is in general undecidable if a partial semigroup embeds in its universal semigroup (under the most general notion). | |
| May 19, 2023 at 12:14 | answer | added | varkor | timeline score: 8 | |
| May 19, 2023 at 11:25 | history | asked | Felix Lungu | CC BY-SA 4.0 |