Web Directory

» (Australia) Macquarie University
   Computational category theory project group. People, projects, publications.
   http://www.ics.mq.edu.au/~mike/compcat/

» (Australia) University of Sydney - Catacomb
   Categories and Combinatorics Group.
   http://www.maths.usyd.edu.au:8000/res/Catecomb.html

» (Canada) Atlantic Category Theory Seminar - ATCAT
   Dalhousie University, Halifax. Weekly meetings.
   http://www.mscs.dal.ca/~pare/atcat.html

» (Canada) Category Theory Research Center Montréal
   Timetable.
   http://www.math.mcgill.ca/rags/seminar/

» (Canada) McGill University
   Category Theory Research Centre. Announcements of weekly seminars, conferences, and other research activities in category theory.
   http://www.math.mcgill.ca/triples/

» (Canada) Mt Allison University
   Computational Category Theory. Software, people.
   http://www.mta.ca/~rrosebru/compcat/compcat.html

» (Canada) University of Calgary
   Calgary Peripatetic Research Group in Logic and Category Theory - alternates between departments of mathematics, philocophy, and computer science; meets weekly.
   http://pages.cpsc.ucalgary.ca/~luigis/CPRGLCC/

» (EU) Linear Logic in Computer Science
   European TMR research network.
   http://iml.univ-mrs.fr/ldp/LINEAR/

» (Germany) University of Bremen
   Katmat. Research Group on Categorical Methods in Algebra and Topology. German/English site.
   http://katmat.math.uni-bremen.de/

» (Portugal) University of Coimbra
   Categories at Coimbra. Members, meetings, reports, resources.
   http://www.mat.uc.pt/~categ/

» (South Africa) Cape Town Research Group
   Universities of Cape Town, Stellenbosch and the Western Cape. Members, activities, outputs, links.
   http://math.sun.ac.za/~cattop/

» (UK) University of Leicester
   Computational Category Theory Project group. People, activities, software.
   http://www.mcs.le.ac.uk/~ah83/compcat/