The word problem for braided monoidal categories is unknot-hard

From MaRDI portal
Publication:6153328