Timeline for Coherence for closed bicategories
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 25 at 15:32 | comment | added | varkor | I believe essentially the same approach as in the monoidal case should, using the strictification theorem for bicategories. | |
| Feb 26, 2021 at 17:25 | comment | added | Mike Shulman | FWIW, note that the notion of closed bicategory (or closed monoidal category) is not one for which "all diagrams commute". A counterexample for right-closed monoidal categories can be found in section 5 of Lambek's paper Deductive systems and categories I. However, this example involves noninvertible maps, so it's not necessarily an obstacle to strictifying the associativity/unit isomorphisms for the right extensions as you suggest. | |
| Feb 25, 2021 at 13:35 | history | asked | varkor | CC BY-SA 4.0 |