Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs
Motivated by a tight connection between Joyal's combinatorial species and quantitative models of linear logic, this paper introduces weighted generalised species (or weighted profunctors), where weights are morphisms of a given symmetric monoidal closed category (SMCC). For each SMCC W, we show...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery
2018
|
| _version_ | 1826259938764128256 |
|---|---|
| author | Tsukada, T Asada, K Ong, C |
| author_facet | Tsukada, T Asada, K Ong, C |
| author_sort | Tsukada, T |
| collection | OXFORD |
| description | Motivated by a tight connection between Joyal's combinatorial species and quantitative models of linear logic, this paper introduces weighted generalised species (or weighted profunctors), where weights are morphisms of a given symmetric monoidal closed category (SMCC). For each SMCC W, we show that the category of W-weighted profunctors is a Lafont category, a categorical model of linear logic with exponential. As a model of programming languages, the construction of this paper gives a unified framework that induces adequate models of nondeterministic, probabilistic, algebraic and quantum programming languages by an appropriate choice of the weight SMCC. |
| first_indexed | 2024-03-06T18:57:44Z |
| format | Conference item |
| id | oxford-uuid:126b36a8-3ea5-49d9-a7f9-1090c622d497 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T18:57:44Z |
| publishDate | 2018 |
| publisher | Association for Computing Machinery |
| record_format | dspace |
| spelling | oxford-uuid:126b36a8-3ea5-49d9-a7f9-1090c622d4972022-03-26T10:07:56ZSpecies, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:126b36a8-3ea5-49d9-a7f9-1090c622d497Symplectic Elements at OxfordAssociation for Computing Machinery2018Tsukada, TAsada, KOng, CMotivated by a tight connection between Joyal's combinatorial species and quantitative models of linear logic, this paper introduces weighted generalised species (or weighted profunctors), where weights are morphisms of a given symmetric monoidal closed category (SMCC). For each SMCC W, we show that the category of W-weighted profunctors is a Lafont category, a categorical model of linear logic with exponential. As a model of programming languages, the construction of this paper gives a unified framework that induces adequate models of nondeterministic, probabilistic, algebraic and quantum programming languages by an appropriate choice of the weight SMCC. |
| spellingShingle | Tsukada, T Asada, K Ong, C Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs |
| title | Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs |
| title_full | Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs |
| title_fullStr | Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs |
| title_full_unstemmed | Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs |
| title_short | Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs |
| title_sort | species profunctors and taylor expansion weighted by smcc a unified framework for modelling nondeterministic probabilistic and quantum programs |
| work_keys_str_mv | AT tsukadat speciesprofunctorsandtaylorexpansionweightedbysmccaunifiedframeworkformodellingnondeterministicprobabilisticandquantumprograms AT asadak speciesprofunctorsandtaylorexpansionweightedbysmccaunifiedframeworkformodellingnondeterministicprobabilisticandquantumprograms AT ongc speciesprofunctorsandtaylorexpansionweightedbysmccaunifiedframeworkformodellingnondeterministicprobabilisticandquantumprograms |