Category Theory
Category Theory Links
- Paul Taylor's Home Page Includes papers on category theory.
- The Australian Category Seminar Alternates between Sydney University and Macquarie University.
- Categories, Quantization, and Much More Introductory article by John Baez.
- Linear Logic in Computer Science European TMR research network.
- A Gentle Introduction to Category Theory Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particular adjunctions. Proofs are given in a calculational style, and the (few) examples are taken from algorithmics. The text is a long PostScript file.
- Catacomb Categories and Combinatorics Group at the University of Sydney.
- Categorical Geometry Homepage This site contains online books and research papers on the subjects of categorical algebra, categorical logic, categorical geometry, lattice theory, universal algebra, algebraic geometry.
- ATCAT (Atlantic Category Theory Seminar) Dalhousie University in Halifax, Canada.
- Category Theory Research Center Montréal Timetable.
- Toposes, Triples and Theories By Michael Barr and Charles Wells, 1983. A revised and corrected version is now available free for downloading. Formats: DVI, PDF, PostScript.
- Computational Category Theory Project The aim of this project is the development of software on a wide variety of platforms for computing with mathematical categories and associated algebraic structures.
- Applied and Computational Category Theory A brief description of category theory, and some useful links.
- Categorical Myths and Legends An archive of stories about category theorists.
- Categories at Coimbra Members, meetings, reports, resources.
- Katmat Research Group on Categorical Methods in Algebra and Topology, University of Bremen. German/English site.
- Categories Home Page Web page for the category theory mailing list.
- The Computational Category Theory Project The aim of the project is the development of software on a wide variety of platforms for computing with mathematical categories and associated algebraic structures.
- Teoria e Applicazione delle Categorie University of Genoa. Seminars are jointly organized at DIMA and DISI.
- Open Problems on Model Categories Problems on model categories listed by Mark Hovey at Wesleyan University.
- Structures Directory Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
- Descent and Category Theory Connections Maintained by M. Alsani.
- Category Theory This expository article is an entry in the Stanford Encyclopedia of Philosophy.
- Category Theory Research Center Announcements of weekly seminars, conferences, and other research activities in category theory based in Montreal, Canada.
- Category Theory Directory and resource site.
- Category Theory and Homological Algebra In the "known maths" series.
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |