Category Theory and Logic research at DPMMS
People with interests in Category Theory and Logic
| Dr O. Caramello | Categories and Logic |
| Dr T.E. Forster | Logic, set theory, combinatorics |
| Prof. A. Glass | Infinite permutation groups, lattice-ordered groups and decision problems |
| Prof J.M.E. Hyland | Categorical logic: proof theory, theoretical computer science, higher dimensional algebra |
| Prof. P.T. Johnstone | Category theory, especially topos theory and locale theory |