Search

# Promonads and String Diagrams for Effectful Categories (Román, 2022)

Last updated Nov 27, 2022

Effectful program in string diagrammatic notation and arrow-do notation.

## # How to cite

  1 2 3 4 5 6 7 8 9 10 11 12 13 14  @inproceedings{effectful22, author = {Mario Rom{\'{a}}n}, title = {Promonads and String Diagrams for Effectful Categories}, booktitle = {{ACT} '22: Applied Category Theory, Glasgow, United Kingdom, 18 - 22 July, 2022}, volume = {abs/2205.07664}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.07664}, doi = {10.48550/arXiv.2205.07664}, eprinttype = {arXiv}, eprint = {2205.07664}, timestamp = {Wed, 18 May 2022 10:38:32 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-07664.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } 

Some references.

#active #index