Multicategorical Semantics for Untyped Effects
From MaRDI portal
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Non-symmetric operads, multicategories, generalized multicategories (18M65) Polycategories/dioperads, properads, PROPs, cyclic operads, modular operads (18M85)
This page was built for publication: Multicategorical Semantics for Untyped Effects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7252523)
