Published papers
Nonstandard proof methods in toposes
José Siqueira
Annals of Pure and Applied Logic, vol. 175(5), 2024
Artin glueings of toposes as adjoint split extensions
Peter F. Faul, Graham Manuell, José Siqueira
Journal of Pure and Applied Algebra, vol. 227(5), 2023
2-dimensional bifunctor theorems and distributive laws
Peter F. Faul, Graham Manuell, José Siqueira
Theory and Applications of Categories, vol. 37(34), 2021, pp. 1149-1175
Other writing
Tripos models of Internal Set Theory
J. V. Paiva Miranda de Siqueira
University of Cambridge, https://www.repository.cam.ac.uk/handle/1810/331351, 2022 Jan 29