Timeline for Coherence for biadjunctions
Current License: CC BY-SA 4.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 24, 2021 at 13:58 | comment | added | Mike Shulman | I agree, it's unfortunate that none of the references are stated as being about biadjunctions between bicategories. But they all contain the essential calculations involved in such a proof. | |
Jun 24, 2021 at 4:22 | comment | added | JeCl | They prove similar results, but as far as I understand not exactly this result. The closest is Pstragowski's result concerning the coherence of duals in monoidal bicatgories. I'm unsure whether people would say it's the reference I'm asking for or not. | |
Jun 23, 2021 at 17:52 | comment | added | Mike Shulman | Did you check out the references cited on the nLab? | |
Jun 23, 2021 at 16:53 | history | edited | YCor |
edited tags
|
|
Jun 23, 2021 at 16:08 | history | asked | JeCl | CC BY-SA 4.0 |