Mario Román

Home

❯

notes

❯

Companions and conjoints

Companions and conjoints

Jul 24, 20251 min read

companions-and-conjoints

References

  • Constructing Symmetric Monoidal Bicategories (Shulman)
  • String Diagrams for Proarrow Equipments (Myers)

Tags: formal category theory.


Graph View

Backlinks

  • Companions in a double category
  • formal category theory

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID