skip to content

Faculty of Mathematics

 

Professor of Foundations of Mathematics

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

Publications

Serre classes for toposes
M ADELMAN, PT JOHNSTONE
– 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. A Journal in the Applications of Categorical, Algebraic and Geometric Methods 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
  • >

Research Group

Category Theory

Room

C1.07

Telephone

01223 337985