Dear All, Do any of you know a good student who wants to do a PhD using category theory? We have a place available for anyone interested in category theory and its applications to either type theory or functional programming. The student must have a first class degree or masters with distinction. All the best Neil [For admin and other information see: http://www.mta.ca/~cat-dist/ ]