Professor of Foundations of Mathematics
Research Interests: Category theory, in particular topos theory and connections with logic
Publications
Category theory 1999
(2002)
Sketches of an elephant: a topos theory compendium. Vol. 1
(2002)
43,
On the structure of categories of coalgebras
– Theoretical Computer Science
(2001)
260,
87
Elements of the history of locale theory
(2001)
3,
835
Elements of the history of locale theory
(2001)
An 'unsitely' result on atomic morphisms
– Applied Categorical Structures
(2000)
8,
7
(doi: 10.1023/A:1008640630668)
A note on discrete Conduche fibrations
– Theory Appl. Categ.
(1999)
5,
1
Classifying toposes for first-order theories
– Annals of Pure and Applied Logic
(1998)
91,
33
An axiomatics for categories of transition systems as coalgebras
– Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
(1998)
207
(doi: 10.1109/lics.1998.705657)
Cartesian monads on toposes
– Journal of Pure and Applied Algebra
(1997)
116,
199
- <
- 4 of 10