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
Showing 2017Show all
2 papers · 1 filter
math.LO2017★ 3 cited
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…
math.CT2017★ 6 cited
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…