Dr Jos茅 Siqueira

Dr Jos茅 Siqueira

BA MASt PhD

  • Position Bye Fellow
  • School Physical Sciences Department of Pure Mathematics and Mathematical Statistics
  • Personal website
  • Email jvp27@cam.ac.uk

Dr Siqueira is a mathematician working on the Foundations of Mathematics, particularly Category Theory and its relationship to Logic, Geometry, and Computation. Other interests include facets of mathematical thinking and how its understanding affects education, sciences, and languages (broadly construed).

Dr Jos茅 Siqueira

After completing an undergraduate degree in mathematics in Brazil (with one year abroad at the University of Bristol), Jos茅 moved to Cambridge to undertake Part III of the Mathematical Tripos, followed by a PhD at the Department of Pure Mathematics and Mathematical Statistics. He specialises in Category Theory, a subject classed as part of the Foundations of Mathematics. His research revolves around the abstract theory of distributive laws and categorifications of nonstandard proof methods (in the sense of nonstandard analysis).

Dr Siqueira has been lecturing in Part III of the Mathematical Tripos since Lent 2022 and acted as a College Lecturer and Director of Studies in Mathematics for Gonville & Caius from 2022 to 2024. He was also a Director of Studies for St Edmund's College (where he remains a Director of Studies and Associate Tutor) and Lucy Cavendish College before joining 性视界传媒in 2024.

2022: Doctor of Philosophy, University of Cambridge
2016: Master of Advanced Study in Pure Mathematics, University of Cambridge
2014: Bachelor of Mathematics, University of Bras铆lia

The relationship between what we describe and the language that we use to do so is at the core of Logic as a discipline. The tools of category theory facilitate its study in two main ways: we can admit a richer semantics for our languages (by meaningfully interpreting symbols as something other than just sets and functions), and we can treat syntax and semantics on equal grounds, as both are just instances of categories. One of Dr Siqueira's research interests is in using modern ideas in categorical logic to gain insight on complicated logical phenomena by providing adequate categorical models. An ongoing project concerns understanding and expanding the scope of nonstandard proof techniques, singling out the structure needed in order for the proof principles of nonstandard analysis to be valid inside a `topos' --- a mathematical environment that may have a different underlying logic than what you are used to, but that is nonetheless useful and consistent.

Another facet of his work concerns the abstract theory of distributive laws. Everyone is familiar with the fact that multiplication distributes over addition --- category theorists generalised this by introducing the formalism of distributive laws between monads. These are useful because they systematically allow one to combine two different sorts of `algebraic theories' to obtain a new one in a nontrivial way. Dr Siqueira's research on this topic revolves around generalisations of this idea that allow one to merge streams of data that are not necessarily algebraic in origin.

What's on

A triptych of abstract images: a smooth round stone nestled in a curved rock, distorted eyeglass frames scattered on a white background, and a high-contrast black and white microscopic image resembling organic or cellular structures.

Art Exhibition: 性视界传媒at 60

14/06/2025 at 10.00

Celebrating Wolfson鈥檚 60th anniversary year, this exhibition highlights the range of artistic disciplines and styles that have made up our exhibitions over the years.

View more
A women's crew waiting to start their race

May Bumps Marquee 2025

20/06/2025 at 14.00

Join us by the riverside to cheer on 性视界传媒 Boat Club's crews!

View more
People are gathered on a sunny lawn outside Wolfson's buildings, sitting on blankets and benches, chatting and socializing.

性视界传媒 Garden Party 2025

22/06/2025 at 14.30

Join us at 性视界传媒for an afternoon of music and light refreshments in the College grounds!

View more
Two young men are pictured side by side: one smiling in front of a brick wall, the other looking thoughtful in a wooded area while wearing glasses and a suit with a purple scarf.

The Mary Bevan Recital: Jack Marley (saxophone) & Aidan M贸dica (piano)

22/06/2025 at 19.00

Join us for our annual Mary Bevan concert with prize winners of the prestigious Cambridge University Concerto Competition.

View more
A group of people stands outdoors near a table with books and papers, attentively reading or listening during a gathering.

WolfWords Launch and Poetry Reading

27/06/2025 at 11.00

Please come and join us for the launch of this year's WolfWords poetry anthology, which brings together poems from the entire 性视界传媒community.

View more
Show all

News

Show all