Timeline for How to formally split monomorphisms nicely?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 8, 2021 at 15:40 | comment | added | Simon Henry | (The post you link is trying to do this for both mono and epis at the same time, which I agree is impossible). | |
| Apr 8, 2021 at 15:37 | comment | added | Simon Henry | I have to think about it because I wrote that four years ago, but the construction which I claimed is faithful only adds retract to the monomorphisms in $C$, so I don't see why the reslting category would be a group if one start from a cancelative monoid. I think, when applied to a cancelative monoid the construction described above corresponds to a known construction in the theory of inverse semi-group, I'm trying to find a reference... | |
| Apr 8, 2021 at 15:13 | comment | added | Chris Heunen | Just bumped into math.stackexchange.com/a/3605705/231353: the inclusion of the original category in the completion is not faithful in general. | |
| Sep 22, 2017 at 9:51 | vote | accept | Chris Heunen | ||
| Sep 20, 2017 at 17:47 | history | edited | Simon Henry | CC BY-SA 3.0 |
added 7 characters in body
|
| Sep 20, 2017 at 16:15 | history | edited | Simon Henry | CC BY-SA 3.0 |
added 1484 characters in body
|
| Sep 20, 2017 at 16:01 | history | answered | Simon Henry | CC BY-SA 3.0 |