do-notation for Freyd categories

Last updated Apr 14, 2025

• Do notation

Tags: Freyd category, arrow notation, Cartesian multicategory.