Mario Román

Search

Search IconIcon to open search

String Diagrams for Premonoidal Categories (Román, 2023)

Last updated Unknown

string-diagrams-for-premonoidal-categories

Abstract. Premonoidal and Freyd categories are both generalized by non-cartesian Freyd categories: effectful categories. We construct string diagrams for effectful categories in terms of the string diagrams for a monoidal category with a freely added object.

string-diagrams-for-premonoidals

1
2
3
4
5
6
@article{roman2023string,
  title={String Diagrams for Premonoidal Categories},
  author={Rom{\'a}n, Mario and Soboci{\'n}ski, Pawe{\l}},
  journal={Accepted at Logical Methods in Computer Science. Available at arXiv:2305.06075.},
  year={2023}
}