Published papers
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
