
Professor of Foundations of Mathematics
Research Interests: Category theory, in particular topos theory and connections with logic
Publications
Adjoint lifting theorems for categories of algebras
– The Bulletin of the London Mathematical Society
(2016)
7,
294
(doi: 10.1112/blms/7.3.294)
What do Freyd's toposes classify?
– Logica Universalis
(2013)
7,
335
(doi: 10.1007/s11787-013-0085-x)
THE GLEASON COVER OF A REALIZABILITY TOPOS
– THEORY AND APPLICATIONS OF CATEGORIES
(2013)
28,
1139
GEOMETRIC MORPHISMS OF REALIZABILITY TOPOSES
– THEORY AND APPLICATIONS OF CATEGORIES
(2013)
28,
241
Calibrated Toposes
– Bulletin of the Belgian Mathematical Society - Simon Stevin
(2012)
19,
889
(doi: 10.36045/bbms/1354031555)
Remarks on punctual local connectedness
– Theory and Applications of Categories
(2011)
25,
No. 3
Gregory Maxwell Kelly
– Applied Categorical Structures. A Journal Devoted to Applications of Categorical Methods in Algebra, Analysis, Order, Topology and Computer Science
(2010)
19,
1
(doi: 10.1007/s10485-010-9235-y)
Realizability: an introduction to its categorical side [book review of MR2479466]
– Bulletin of Symbolic Logic
(2010)
16,
407
De Morgan's law and the theory of fields
– Advances in Mathematics
(2009)
222,
2145
(doi: 10.1016/j.aim.2009.07.019)
- 1 of 10