Timeline for Localisation of categories, but instead of "isomorphisms" I want "morphisms with right inverse". Construction via calculus of fractions possible?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 19, 2021 at 12:39 | vote | accept | kevkev1695 | ||
| Oct 14, 2021 at 10:02 | comment | added | Reid Barton | There is a similar issue with composition. Even assuming that S is a subcategory, there is no reason that the formally adjoined right inverse of $g \circ f$ should be the composition of those of $f$ and $g$. So, we can't reduce a string of backwards arrows to a single backwards arrow. | |
| Oct 13, 2021 at 19:50 | history | answered | Simon Henry | CC BY-SA 4.0 |