|
|
|
|
Home / Science / Math / Algebra / Category Theory
|
| Categories |
|
|
|
|
|
|
|
|
Web Sites
|
- 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.
wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
- Applied and Computational Category Theory - A brief description of category theory, and some useful links.
www.risc.uni-linz.ac.at/research/category
- 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.
www.geometry.net/cg/index.html
- Categorical Myths and Legends - An archive of stories about category theorists.
www.mcs.le.ac.uk/~ah83/cat-myths
- Categories Home Page - Web page for the category theory mailing list.
www.mta.ca/~cat-dist
- Categories, Quantization, and Much More - Introductory article by John Baez.
math.ucr.edu/home/baez/categories.html
- Category Theory - This expository article is an entry in the Stanford Encyclopedia of Philosophy.
plato.stanford.edu/entries/category-theory
- Category Theory - Directory and resource site.
math.rutgers.edu/~mauri/categories.html
- Category Theory and Homological Algebra - In the "known maths" series.
www.math.niu.edu/~rusin/known-math/index/18-XX.html
- 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.
www.mcs.le.ac.uk/~ah83/compcat
- CT Category Theory - Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
front.math.ucdavis.edu/math.CT
- Descent and Category Theory Connections - Maintained by M. Alsani.
north.ecc.edu/alsani/descent.html
- Open Problems on Model Categories - Problems on model categories listed by Mark Hovey at Wesleyan University.
claude.math.wesleyan.edu/~mhovey/problems/model.html
- Paul Taylor's Home Page - Includes papers on category theory.
www.dcs.qmw.ac.uk/~pt
- Structures Directory - Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
boole.stanford.edu/pub/structdir
- 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.
www.unico.it/~walters/comcat/comcatproj.html
- 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.
www.cwru.edu/artsci/math/wells/pub/ttt.html
|
|
|
|
|