Skip to main content

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