The missing string adjunction

Last updated Apr 23, 2024

• monoidal category
• string diagram
• polygraph
• 2-adjunction
• Quasi 2-adjunction