My main research interest is in how ideas from category theory can provide insight on intricate logical and algebraic phenomena by providing adequate categorical models; for the past couple of years, I focused on the logic of complex systems, tackled through double-category theory. Past work involved the categorical semantics of nonstandard proof methods and the abstract theory of distributive laws.
I completed my PhD in 2022 in the Department of Pure Mathematics and Mathematical Statistics, University of Cambridge. My supervisor was Professor Peter T. Johnstone.
I am currently a Director of Studies in Mathematics for Wolfson College and St Edmund's College, as well as an Associate Tutor for St Edmund's, where I am a College Lecturer. I am also a postdoctoral researcher at the UK branch of the Topos Institute, working with David Jaz Myers.
-------
Psst, while you are here, you should check out the great work being done by Women in Logic!
-------
I completed my PhD in 2022 in the Department of Pure Mathematics and Mathematical Statistics, University of Cambridge. My supervisor was Professor Peter T. Johnstone.
I am currently a Director of Studies in Mathematics for Wolfson College and St Edmund's College, as well as an Associate Tutor for St Edmund's, where I am a College Lecturer. I am also a postdoctoral researcher at the UK branch of the Topos Institute, working with David Jaz Myers.
-------
Psst, while you are here, you should check out the great work being done by Women in Logic!
-------
Publications
Dialectica for Constructible Falsity
Valeria de Paiva, José Siqueira
Coleção CLE, Andréa Loparić on semantics for non-classical logics: essays in honour of Andréa Loparić, chapter 19, 2025 Aug 21
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
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
View all
Courses
Postgraduate courses
University of Cambridge
Lectured in Michaelmas 2022 , Lent 2022, Michaelmas 2024, and Lent 2026 for Part III of the Mathematical Tripos.
III Model Theory & Non-Classical Logic
University of Cambridge
Lectured in Michaelmas 2023 for Part III of the Mathematical Tripos.
Summer courses
Introdução à Lógica Categórica
Universidade de São Paulo
Lectured in March 2022 to final year undergraduates and postgraduate students.
Introdução à Teoria das Categorias
Universidade de Brasília
Lectured in 2017 to final year undergraduate and postgraduate students.