@inproceedings{inproceedings7859e28f,
title   = {Categorical constructions of sets valued on semicartesian and involutive quantales},
author = {Alvim, José Goudet and Mariano, Hugo Luiz and Mendes, Caio de Andrade},
year = {2025},
publisher = {Sociedade Brasileira de Lógica - SBL},
booktitle   = {Brazilian Logic Conference - EBL 2025}
}