You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Liam Chung (Jul 14 2021 at 03:32):I'm kinda new 'round here, so sorry if this is an awkard post.... just got my bachelor's and am poking around at master's programs in different places. I think I'm kind of drifting between math, comp, and phil, and I'm looking for a school/supervisor/program where I can get myself sorted (find a specific research area I'm interested in) and advance my category theory in general. I think I'd really love to learn categorical logic in particular, but I'm having trouble finding anywhere that is studied aside from at CMU. Any advice from cat logic places to general stuff would be super super appreciated! and in any case, here's a picture of my dog in sunglasses.
DCD5FA71-3E62-4E14-8DE5-23ED026B5EF9.JPG
Chad Nester (Jul 14 2021 at 07:24):What is your undergraduate degree in? If you know e.g. type theory then it’s a lot easier to find a graduate program.
Chad Nester (Jul 14 2021 at 07:26):For general category theory a few places come to mind: Dalhousie University in Canada, Macquarie University in Australia, maybe Strathclyde although be warned that it will be harder to get funding if you’re not from the UK. Our group in Tallinn is pretty good for general category theory but I have no idea how MSc programs work here...
Chad Nester (Jul 14 2021 at 07:29):Oxford has a strong group too, but other people here can tell you more about that. There are a lot of people at universities that aren’t so well-known for category theory who would be willing to supervise you. If you like someone’s work I’d encourage you to send them an email and ask about possibilities.
Paolo Perrone (Jul 14 2021 at 08:03):At the university of Oxford there is a master in "Mathematics and foundations of computer science", where you can pick quite some category theory and related courses.
https://www.maths.ox.ac.uk/members/students/postgraduate-courses/msc-mfocs
Liam Chung (Jul 14 2021 at 13:43):my undergrad is joint math/comp at mcgill, and I started dabbling in philosophy towards the end. I learned a bit of type theory with Prof. Pientka there and in fact I learned a bit of Idris! Thanks for the recommendations I'll surely add them to my list and talk to some people.
Chad Nester (Jul 14 2021 at 13:57):If you like type theory, particularly Idris, go to scotland!
José Siqueira (Jul 14 2021 at 17:58):Part III of the Mathematical Tripos at Cambridge (which you can take as a 1-year taught masters if you come from elsewhere) has a Category Theory course, and there's a good chance there will be a topos theory one next year too.
Morgan Rogers (he/him) (Jul 14 2021 at 17:59):Oh? Who's teaching them?
José Siqueira (Jul 14 2021 at 18:04):That isn't settled yet afaik; I think there are some negotiations going on. There will either be simply one Category Theory course taught by PTJ, or both courses (with PTJ lecturing the topos theory one).
Ivan Di Liberti (Jul 14 2021 at 18:33):Categorical Logic is in very bad shape nowadays, as many people interested in CatLog do not have permanent positions. I am sure I will forget someone, and of course the answer to this question depends on the definition of CatLog, so please do not take this list too seriously.
Brno: Rosicky and Lieberman.
Como: Caramello.
Leeds: Nicola Gambino.
Amsterdam: Benno van den Berg.
Stockholm: Peter Lumsdane.
Ljubljana: Andrej Bauer.
Paris: Paul André Mellies, Sam van Gool, Damiano Mazza.
Nice: Mai Gehrke.
I apologize, I misread the question. I thought the OP was looking for a PhD program in CatLog. Should I remove my message? Let me know.
Liam Chung (Jul 14 2021 at 21:37):still quite helpful for me to know, so it's okay, thank you! I will be going for a PhD program (hopefully) soon anyways
Valeria de Paiva (Jul 14 2021 at 21:49):Sorry @Ivan but there are quite a few people missing from your list and it will be worse for me to list the ones that came to mind (and forget my best friends...) than for you. but there are more than 1800 people listed in this zulip and quite a few of them do categorical logic, in some shape or form. there more than 1600 people listed in the categories mailing list (quite a few also dabble in categorical logic). Still, getting funds to do a master's or a Ph.D. is always a struggle, I grant you that.
Matteo Capucci (he/him) (Jul 15 2021 at 10:37):Ivan Di Liberti said:
Categorical Logic is in very bad shape nowadays, as many people interested in CatLog do not have permanent positions. I am sure I will forget someone, and of course the answer to this question depends on the definition of CatLog, so please do not take this list too seriously.
Brno: Rosicky and Lieberman.
Como: Caramello.
Leeds: Nicola Gambino.
Amsterdam: Benno van den Berg.
Stockholm: Peter Lumsdane.
Ljubljana: Andrej Bauer.
Paris: Paul André Mellies, Sam van Gool, Damiano Mazza.
Nice: Mai Gehrke.I apologize, I misread the question. I thought the OP was looking for a PhD program in CatLog. Should I remove my message? Let me know.
I would add
Padova: Maietti
Genova: Rosolini
Steve Awodey (Jul 17 2021 at 15:40):@Liam Chung you do know that Makkai is at McGill, right? And Joyal is at UQAM. They are both retired, but they are still excellent resources for CT, CatLog, etc. And there are many other top category theorists in town (and probably on this Zulip): Robert Seely, Bill Boschuck, Marta Bunge, Michael Barr, Gonzalo Reyes, ... If you are in Montreal, you could try to get in touch with some of these people and see if anyone is interested in advising you. And if you are Canadian (or even if you're not) you should look into studying at Ottawa, Dalhousie, or Mount Allison University. Check this out for example: https://www.mathstat.dal.ca/~selinger/atcat/