11 citations
- Universidad de la República de UruguayUY3 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Cornell UniversityUS1 paper
- Ifo Institute for Economic ResearchDE1 paper
- Institut Franco-Uruguayen des Mathématiques et InteractionsUY1 paper
- Institut Montpelliérain Alexander GrothendieckFR1 paper
- National University of QuilmesAR1 paper
- Universidad de Buenos AiresAR1 paper
- Université de MontpellierFR1 paper
4 papers
Slack Hopf Monads
Alain Bruguières, Mariana Haim, Ignacio López Franco
Hopf monads generalise Hopf algebras. They clarify several aspects of the theory of Hopf algebras and capture several related structures such as weak Hopf algebras and Hopf algebro…
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
Alejandro Díaz-Caro, Octavio Malherbe
In a recent paper, a realizability technique has been used to give a semantics of a quantum lambda calculus. Such a technique gives rise to an infinite number of valid typing rules…
The category of implicative algebras and realizability
Walter Ferrer, Octavio Malherbe
In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the…
Monads on higher monoidal categories
Marcelo Aguiar, Mariana Haim, Ignacio Lopez Franco
We study the action of monads on categories equipped with several monoidal structures. We identify the structure and conditions that guarantee that the higher monoidal structure is…