Mario Román

Home

❯

notes

❯

string diagrams adjunction

string diagrams adjunction

Jan 02, 20261 min read

There is an adjunction between polyquivers and strict monoidal categories, given by planar string diagrams as in the work of Joyal and Street.

References

  • The Geometry of Tensor Calculus I (Joyal, Street), using tensor schemas (Definition 1.4)

Graph View

Backlinks

  • The missing string adjunction

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

  • GitHub
  • ArXiv
  • OrcID