Professor of Foundations of Mathematics
Research Interests: Category theory, in particular topos theory and connections with logic
Publications
The ‘closed subgroup theorem’ for localic herds and pregroupoids
– Journal of Pure and Applied Algebra
(1991)
70,
97
(doi: 10.1016/0022-4049(91)90010-Y)
A constructive theory of uniform locales. I. Uniform covers
(1991)
134,
179
The art of pointless thinking: a student's guide to the category of locales
(1991)
18,
193
The frame of fibrewise closed nuclei
– Cahiers de Topologie et Geometrie Differentielle Categoriques
(1991)
32,
99
The art of pointless thinking: a student’s guide to the category of locales
(1991)
18,
85
Collapsed toposes and cartesian closed varieties
– Journal of Algebra
(1990)
129,
446
(doi: 10.1016/0021-8693(90)90230-L)
Affine categories and naturally Mal'cev categories
– Journal of Pure and Applied Algebra
(1989)
61,
251
(doi: 10.1016/0022-4049(89)90075-3)
A topos-theorist looks at dilators
– Journal of Pure and Applied Algebra
(1989)
58,
235
(doi: 10.1016/0022-4049(89)90039-x)
- <
- 6 of 10