Sheaf categories on semicartesian monoidal categories: logical and cohomological aspects - Tenorio, Ana Luiza; Mariano, Hugo Luiz (Boletin de Matematicas, 2023)