Timeline for Push-outs of fully faithful (enriched) functors
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 1, 2014 at 3:13 | comment | added | Brian Rushton | You may be interested in contributing to a proposal Spanish language version of math stackexchange; it could use some input from fluent professors: area51.stackexchange.com/proposals/64529/… | |
| Jan 25, 2014 at 1:15 | vote | accept | Fernando Muro | ||
| Jan 24, 2014 at 20:28 | answer | added | Daniel Schäppi | timeline score: 8 | |
| Jan 23, 2014 at 10:12 | comment | added | Fernando Muro | @ZhenLin, I think it does, everything can be done diagramatically, via tensor products and push-outs. I hope somebody has done something like that before! Or maybe there is a short argument that I cannot find. | |
| Jan 23, 2014 at 9:53 | comment | added | Zhen Lin | On the other hand, the proofs in the cited paper heavily use the explicit combinatorial description of morphisms in the pushout, so it seems unlikely to me that this will generalise to the enriched case. | |
| Jan 22, 2014 at 17:39 | comment | added | Fernando Muro | @Adeel, thanks, I knew that paper, it says that for ordinary categories $B\r B\cup_AC$ is an inclusion. That's a hint, in my opinion, about the fact that my guess is true. I'd like it to be also full, and for enriched categories. | |
| Jan 22, 2014 at 12:19 | history | asked | Fernando Muro | CC BY-SA 3.0 |