|
Sponsored Links:
Category Theory (Popularity:  )
http://plato.stanford.edu/entries/category-theory/
This expository article is an entry in the Stanford Encyclopedia of Philosophy.
|
|
Category Theory and Homological Algebra (Popularity: )
http://www.math.niu.edu/~rusin/known-math/index/18-XX.html
In the "known maths" series.
|
|
Categories Home Page (Popularity: )
http://www.mta.ca/~cat-dist/
Web page for the category theory mailing list.
|
|
(Canada) University of Calgary (Popularity: )
http://pages.cpsc.ucalgary.ca/~luigis/CPRGLCC/
Calgary Peripatetic Research Group in Logic and Category Theory - alternates between departments of mathematics, philocophy, and computer science; meets weekly.
|
|
Open Problems on Model Categories (Popularity: )
http://claude.math.wesleyan.edu/~mhovey/problems/model.html
Problems on model categories listed by Mark Hovey at Wesleyan University.
|
|
Categories, Quantization, and Much More (Popularity: )
http://math.ucr.edu/home/baez/categories.html
Introductory article by John Baez.
|
|
Categorical Myths and Legends (Popularity: )
http://www.mcs.le.ac.uk/~ah83/cat-myths/
An archive of stories about category theorists.
|
|
Computational Category Theory (Popularity: )
http://www.cs.man.ac.uk/~david/categories/
An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
|
|
Structures Directory (Popularity: )
http://boole.stanford.edu/pub/structdir
Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
|
|
Foundations Of Mathematics and Computation (Popularity: )
http://www.PaulTaylor.EU
Abstract Stone Duality is a revolutionary direct axiomatisation of general topology and constructive real analysis that is inherently computable. Practical Foundations of Mathematics relates category theory and type theory to ...
|
|
(Canada) Mt Allison University (Popularity: )
http://www.mta.ca/~rrosebru/compcat/compcat.html
Computational Category Theory. Software, people.
|
|
(Germany) University of Bremen (Popularity: )
http://katmat.math.uni-bremen.de/
Katmat. Research Group on Categorical Methods in Algebra and Topology. German/English site.
|
|
(Canada) Atlantic Category Theory Seminar - ATCAT (Popularity: )
http://www.mscs.dal.ca/~pare/atcat.html
Dalhousie University, Halifax. Weekly meetings.
|
|
Descent and Category Theory Connections (Popularity: )
http://north.ecc.edu/alsani/descent.html
Maintained by M. Alsani.
|
|
(Australia) Macquarie University (Popularity: )
http://www.ics.mq.edu.au/~mike/compcat/
Computational category theory project group. People, projects, publications.
|
|
(Canada) McGill University (Popularity: )
http://www.math.mcgill.ca/triples/
Category Theory Research Centre. Announcements of weekly seminars, conferences, and other research activities in category theory.
|
|
(EU) Linear Logic in Computer Science (Popularity: )
http://iml.univ-mrs.fr/ldp/LINEAR/
European TMR research network.
|
|
CT Category Theory (Popularity: )
http://front.math.ucdavis.edu/math.CT
Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
|
|
(Canada) Category Theory Research Center Montréal (Popularity: )
http://www.math.mcgill.ca/rags/seminar/
Timetable.
|
|
|
(South Africa) Cape Town Research Group (Popularity: )
http://academic.sun.ac.za/maths/cattop/
Universities of Cape Town, Stellenbosch and the Western Cape. Members, activities, outputs, links.
|
