Companions and conjoints

Last updated Nov 4, 2022

References

• String Diagrams for Proarrow Equipments (Myers)