Â鶹ËÞÉáµçÊÓ¾ç

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

21/06/2025 at 10.00

Celebrating Wolfson’s 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 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
Â鶹ËÞÉáµçÊÓ¾çChampagne Credit Ian Olsson

Wolfson's 60th Birthday Party

27/06/2025 at 18.30

Come party like it's 1965 as we celebrate Wolfson's 60th birthday!

View more
Graphic for "Cambridge Zero Community Day" on 28 June 2025 from 10:00 to 20:30, with the tagline "Forging a Future for Our Planet" and descriptors "Innovative, Inclusive, Impactful."

Cambridge Zero Community Day

28/06/2025 at 10.00

Â鶹ËÞÉáµçÊÓ¾çCollege will showcase its commitment to Sustainability and Conservation and Green Impact by exhibiting a number of projects around the College at the Cambridge Zero Community Day.

View more
A large stone church with a tall spire and ornate Gothic-style windows stands on a grassy hill under a clear blue sky.

Thaxted Festival Mass

29/06/2025 at 11.00

Haydn’s delightful Little Organ Mass will be sung by Â鶹ËÞÉáµçÊÓ¾çChamber Singers, accompanied by the historic Lincoln Organ played by Tom Williamson.

View more
Show all

News

Show all