Timeline for Pushouts in the category of adjunctions
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 17, 2014 at 16:42 | comment | added | Wolfgang Jeltsch | So I have to specify what morphisms between adjunctions should be. I think that the canonical answer would be that a morphisms from $F \dashv G$ to $F' \dashv G'$ is a pair of natural transformations $\varphi : F \to F'$ and $\gamma : G \to G'$ such that $\varepsilon' \circ (\varphi \bullet \gamma) = \varepsilon : F \bullet G \to \mathrm{Id}$ and $(\gamma \bullet \varphi) \circ \eta = \eta' : \mathrm{Id} \to G' \bullet F'$. However I do not know how pushouts in 2-categories are defined. Any hints? | |
| Jan 24, 2014 at 22:53 | answer | added | Will Sawin | timeline score: 1 | |
| Jan 24, 2014 at 6:49 | comment | added | Adam Gal | Since this is obviously a 2-categorical situation, you should specify the higher structure to get a relevant answer. I think perhaps the setting of the double category of profunctors could be useful here. | |
| Jan 22, 2014 at 21:59 | history | asked | Wolfgang Jeltsch | CC BY-SA 3.0 |