Promonads and string diagrams for effectful categories
author
Roman Garcia, Mario
statement of authorship
Mario Román
source
arXiv.org
publisher
Cornell University
journal volume number month
arXiv:2205.07664
year of publication
2023
pages
p. 344-361 : ill
series
Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 380
conference name, date
Fifth International Conference on Applied Category Theory (ACT 2022), 18-22 July 2022
conference location
Glasgow, United Kingdom
url
https://doi.org/10.4204/EPTCS.380.20
subject term
kategooriad (matemaatika)
monoidid
subject of form
preprindid
ISSN
2075-2180
notes
Bibliogr.: 43 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Laboratory for compositional systems and methods