Mario Román

Search

Search IconIcon to open search

do-notation for Freyd categories

Last updated Oct 14, 2024

do-notation-for-freyd-categories

Tags: Freyd category, do-notation, Cartesian multicategory.