The following pages link to A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories (Q3400945):
Displaying 1 item.