DeepAI AI Chat
Log In Sign Up

Duoidally enriched Freyd categories

by   Chris Heunen, et al.

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


page 1

page 2

page 3

page 4


Commutative Monads for Probabilistic Programming Languages

A long-standing open problem in the semantics of programming languages s...

Category-theoretical Semantics of the Description Logic ALC (extended version)

Category theory can be used to state formulas in First-Order Logic witho...

Generating CCG Categories

Previous CCG supertaggers usually predict categories using multi-class c...

A nonparametric framework for inferring orders of categorical data from category-real ordered pairs

Given a dataset of careers and incomes, how large a difference of income...

A Gaussian Process Model of Cross-Category Dynamics in Brand Choice

Understanding individual customers' sensitivities to prices, promotions,...

Functorial aggregation

Aggregating data in a database could also be called "integrating along f...

Strong pseudomonads and premonoidal bicategories

Strong monads and premonoidal categories play a central role in clarifyi...