On logical parameterizations and functional representability in local set theories

Enrique Ruiz Hernández, Pedro Solórzano

There is a well-known inclusion ${\iota }_{\mathcal{E}}$ of a topos $\mathcal{E}$ in the linguistic topos $\mathcal{T}(\Sigma )$ of its internal language $\Sigma$ that proves both toposes to be equiva…