Promonads and string diagrams for effectful categories

vastutusandmed
Mario Román
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 344−361
konverentsi nimetus, aeg
Fifth International Conference on Applied Category Theory, 18-22 July 2022
konverentsi toimumispaik
Glasgow, Scotland
ISSN
2075-2180
märkused
Bibliogr.: 43 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
kategooria (üld)
kategooria (alam)
Roman Garcia, M. Promonads and string diagrams for effectful categories // Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022. : Open Publishing Association, 2023. p. 344−361. (Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 380). https://doi.org/10.4204/EPTCS.380.20 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf