|
A Gentle Introduction to Category Theory (Popularity: )
Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particular ...
|
|
(Canada) University of Calgary (Popularity: )
Calgary Peripatetic Research Group in Logic and Category Theory - alternates between departments of mathematics, ...
|
|
Category Theory and Homological Algebra (Popularity: )
In the "known maths" series.
|
|
Open Problems on Model Categories (Popularity: )
Problems on model categories listed by Mark Hovey at Wesleyan University.
|
|
Category Theory (Popularity: )
This expository article is an entry in the Stanford Encyclopedia of Philosophy.
|
|
Categories, Quantization, and Much More (Popularity: )
Introductory article by John Baez.
|
|
The Computational Category Theory Project (Popularity: )
The aim of the project is the development of software on a wide variety of ...
|
|
Structures Directory (Popularity: )
Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics ...
|
|
(Germany) University of Bremen (Popularity: )
Katmat. Research Group on Categorical Methods in Algebra and Topology. German/English site.
|
|
Descent and Category Theory Connections (Popularity: )
Maintained by M. Alsani.
|
|
(Canada) McGill University (Popularity: )
Category Theory Research Centre. Announcements of weekly seminars, conferences, and other research activities in category ...
|
|
(Canada) Atlantic Category Theory Seminar - ATCAT (Popularity: )
Dalhousie University, Halifax. Weekly meetings.
|
|
Categories Home Page (Popularity: )
Web page for the category theory mailing list.
|
|
Categorical Myths and Legends (Popularity: )
An archive of stories about category theorists.
|
|
(Canada) Mt Allison University (Popularity: )
Computational Category Theory. Software, people.
|
|
(Australia) Macquarie University (Popularity: )
Computational category theory project group. People, projects, publications.
|
|
Higher-Dimensional Categories (Popularity: )
An illustrated guide book by Eugenia Cheng and Aaron Lauda (PS/PDF).
|
|
(Canada) Category Theory Research Center Montréal (Popularity: )
Timetable.
|
|
(EU) Linear Logic in Computer Science (Popularity: )
European TMR research network.
|
|
Computational Category Theory (Popularity: )
An implementation of concepts and constructions from category theory in the functional programming language Standard ...
|