Monoidal context theory
M Román - arXiv preprint arXiv:2404.06192, 2024 - arxiv.org
We universally characterize the produoidal category of monoidal lenses over a monoidal
category. In the same way that each category induces a cofree promonoidal category of …
category. In the same way that each category induces a cofree promonoidal category of …
Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences
We extend the arithmetic product of species of structures and symmetric sequences studied
by Maia and Mendez and by Dwyer and Hess to coloured symmetric sequences and show …
by Maia and Mendez and by Dwyer and Hess to coloured symmetric sequences and show …
Enriched duality in double categories II: modules and comodules
V Aravantinos-Sotiropoulos… - arXiv preprint arXiv …, 2024 - arxiv.org
In this work, we continue the investigation of certain enrichments of dual algebraic structures
in monoidal double categories, that was initiated in [Vas19]. First, we re-visit monads and …
in monoidal double categories, that was initiated in [Vas19]. First, we re-visit monads and …
Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
We extend the arithmetic product of species of structures and symmetric sequences studied
by Maia and Méndez and by Dwyer and Hess to coloured symmetric sequences and show …
by Maia and Méndez and by Dwyer and Hess to coloured symmetric sequences and show …
[PDF][PDF] Universal Properties of Asynchronous Message Passing
M Román - mroman42.github.io
Message passing (specifically, multi-party and asynchronous message passing) is the most
common technique in computer science that allows different systems to interact and …
common technique in computer science that allows different systems to interact and …