Duoidally enriched Freyd categories

DOI10.1007/978-3-031-28083-2_15arXiv2301.05162OpenAlexW4323527351MaRDI QIDQ6174428

Chris Heunen, Jesse Sigal

Publication date: 17 August 2023

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2301.05162

zbMATH Keywords

monadKleisli categoryduoidal categoryLawvere theoryFreyd category

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Freyd categories are enriched Lawvere theories
• Centers and homotopy centers in enriched monoidal categories
• Notions of computation and monads
• Commutativity
• A universal property of the convolution monoidal structure
• Modelling environments in call-by-value programming languages.
• Premonoidal categories as categories with algebraic structure
• Enrichment over iterated monoidal categories
• Combining effects: sum and tensor
• Algebras for Parameterised Monads
• Monoidal Functors, Species and Hopf Algebras
• Categorical semantics for arrows
• Premonoidal categories and notions of computation
• A unified framework for notions of algebraic theory
• Monoidal Categories Enriched in Braided Monoidal Categories
• On closed categories of functors
• Category Theory and Applications

This page was built for publication: Duoidally enriched Freyd categories