(Australia) University of Sydney - Catacomb - Categories and Combinatorics Group.
(Portugal) University of Coimbra - Categories at Coimbra. Members, meetings, reports, resources.
(Canada) McGill University - Category Theory Research Centre. Announcements of weekly seminars, conferences, and other research activities in category theory.
(Germany) University of Bremen - Katmat. Research Group on Categorical Methods in Algebra and Topology. German/English site.
(Canada) Category Theory Research Center Montréal - Timetable.
(EU) Linear Logic in Computer Science - European TMR research network.
(Canada) University of Calgary - Calgary Peripatetic Research Group in Logic and Category Theory - alternates between departments of mathematics, philocophy, and computer science; meets weekly.
(UK) University of Wales, Bangor - Computational Category Theory (part of The Computational Category Theory Project). People, activities, software.
(UK) University of Leicester - Computational Category Theory Project group. People, activities, software.
(Australia) Macquarie University - Computational category theory project group. People, projects, publications.
(Canada) Mt Allison University - Computational Category Theory. Software, people.
(South Africa) Cape Town Research Group - Universities of Cape Town, Stellenbosch and the Western Cape. Members, activities, outputs, links.
|