** Professor of Foundations of Mathematics**

*Research Interests: * Category theory, in particular topos theory and connections with logic

## Publications

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)

Gregory Maxwell Kelly

– Applied Categorical Structures. A Journal Devoted to Applications of Categorical Methods in Algebra, Analysis, Order, Topology and Computer Science

(2011)

19,

1

(DOI: 10.1007/s10485-010-9235-y)

Remarks on punctual local connectedness

– Theory and Applications of Categories

(2011)

25,

No. 3

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)

FIXPOINT OBJECTS NEED NOT BE Omega-DISCRETE

– GEORGIAN MATH J

(2009)

16,

75

On embedding categories in groupoids

– Mathematical Proceedings of the Cambridge Philosophical Society

(2008)

145,

273

(DOI: 10.1017/s0305004108001345)

- 1 of 10