Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
pieces
❯
Companions and conjoints
Companions and conjoints
Apr 29, 2025
1 min read
References
String Diagrams for Proarrow Equipments (Myers)
Graph View
Backlinks
Companions in a double category
formal category theory
