
Professor of Foundations of Mathematics
Research Interests: Category theory, in particular topos theory and connections with logic
Publications
Serre classes for toposes
– Bulletin of the Australian Mathematical Society
(2009)
25,
103
(doi: 10.1017/S0004972700005086)
Connected limits, familial representability and Artin glueing
– Mathematical Structures in Computer Science. A Journal in the Applications of Categorical, Algebraic and Geometric Methods in Computer Science
(2009)
5,
441
(doi: 10.1017/S0960129500001183)
Tripos Theory
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
88,
205–232
(doi: 10.1017/S0305004100057534)
Quotients of decidable objects in a topos
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
93,
409
(doi: 10.1017/S0305004100060734)
100 not out
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
100,
1
(doi: 10.1017/S0305004100065828)
A note on inequivalence of realizability toposes
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
105,
1
(doi: 10.1017/S0305004100001304)
Finiteness and decidability: II
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
84,
207
(doi: 10.1017/S0305004100055043)
Fibrewise separation axioms for locales
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
108,
247
(doi: 10.1017/S0305004100069115)
On embedding categories in groupoids
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
145,
273
(doi: 10.1017/S0305004108001345)
- <
- 2 of 10