nLab Freyd multicategory

Freyd multicategories

Freyd multicategories


A Freyd multicategory is to a multicategory as a Freyd category is to a monoidal category.


A Freyd multicategory consists of

Relation to Freyd categories

A Freyd multicategory that has all tensor products and units, in a usual multicategorical sense that are preserved by returnreturn, is equivalent to a Freyd category.


  • Sam Staton and Paul Blain Levy, Universal properties of impure programing languages. POPL ‘13: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2013, doi

Last revised on August 29, 2022 at 05:22:23. See the history of this page for a list of all contributions to it.