# Department of Pure Mathematics and Mathematical Statistics

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
Connected limits, familial representability and Artin glueing
A Carboni, P Johnstone
– Mathematical Structures in Computer Science
(2009)
5,
441
FIXPOINT OBJECTS NEED NOT BE Omega-DISCRETE
P Johnstone
– GEORGIAN MATHEMATICAL JOURNAL
(2009)
16,
75
Tripos theory
JME HYLAND, PT JOHNSTONE, AM PITTS
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
88,
205
Quotients of decidable objects in a topos
PT JOHNSTONE
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
93,
409
100 not out
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
100,
1
A note on inequivalence of realizability toposes
PT JOHNSTONE, EP ROBINSON
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
105,
1
FINITENESS AND DECIDABILITY .2.
PT JOHNSTONE, FEJ LINTON
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
84,
207
Fibrewise separation axioms for locales
PT JOHNSTONE
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
108,
247
On embedding categories in groupoids
PT Johnstone
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
145,
273
• <
• 2 of 10
• >

C1.07

01223 337985