If the notion of topos corresponds to set theory or first-order logic, then what if one is only interested in grounded logic formulas, ie, formulas that don't contain variables?
In a topos one has the ability to interpret logic formulas with variables, and universal and existential quantifications, etc. But I don't need such features. Can I use a "simpler" category instead of a topos?