1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.CT2023
Nonstandard proof methods in toposes
José Siqueira
We determine sufficient structure for an elementary topos to emulate E. Nelson's Internal Set Theory in its internal language, and show that any topos satisfying the internal axiom…
math.CT2020★ 1 cited
Artin glueings of toposes as adjoint split extensions
Peter F. Faul, Graham Manuell, José Siqueira
Artin glueings of frames correspond to adjoint split extensions in the category of frames and finite-meet-preserving maps. We extend these ideas to the setting of toposes and show…
math.CT2020
2-dimensional bifunctor theorems and distributive laws
Peter F. Faul, Graham Manuell, Jose Siqueira
In this paper we consider the conditions that need to be satisfied by two families of pseudofunctors with a common codomain for them to be collated into a bifunctor. We observe sim…