Abstract: Freyd categories provide a semantics for first-order effectful programming languages by capturing the two different orders of evaluation for products. We enrich Freyd categories in a duoidal category, which provides a new, third choice of parallel composition. Duoidal categories have two monoidal structures which account for the sequential and parallel compositions. The traditional setting is recovered as a full coreflective subcategory for a judicious choice of duoidal category. We give several worked examples of this uniform framework, including the parameterised state monad, basic separation semantics for resources, and interesting cases of change of enrichment
Cites work
- A unified framework for notions of algebraic theory
- A universal property of the convolution monoidal structure
- Algebras for parameterised monads
- Categorical semantics for arrows
- Category theory and applications. A textbook for beginners
- Centers and homotopy centers in enriched monoidal categories
- Combining effects: sum and tensor
- Commutativity
- Computational effects and operations: an overview
- Enrichment over iterated monoidal categories
- Freyd categories are enriched Lawvere theories
- scientific article; zbMATH DE number 2125662 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- Modelling environments in call-by-value programming languages.
- Monoidal Categories Enriched in Braided Monoidal Categories
- Monoidal functors, species and Hopf algebras
- Notions of computation and monads
- On closed categories of functors
- Premonoidal categories and notions of computation
- Premonoidal categories as categories with algebraic structure
Cited in
(2)
This page was built for publication: Duoidally enriched Freyd categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6174428)
