Companions and conjoints

Last updated Feb 3, 2024

References

• String Diagrams for Proarrow Equipments (Myers)