A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories

From MaRDI portal
Publication:3400945