Timeline for What are the internal adjunctions in the bicategory $\mathsf{Span}$?
Current License: CC BY-SA 4.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 18, 2023 at 19:46 | comment | added | Emily | Hey, thank you so much for the answer, @varkor! Sorry also that I've been taking so long to reply properly, I saw your answer back in November, but had been waiting to try to first put together a full proof of this fact before replying. Once I put it together I'll mark your answer as accepted and link the proof here as a comment. Again, thank you so much! | |
Nov 27, 2023 at 18:08 | history | answered | varkor | CC BY-SA 4.0 |