Category Theory (Algebra)

Category Theory further on these related pages:

Events Journals Research Groups

Top/Games/Card Games/Special Decks/Ccard Top/Science/Math/Logic and Foundations Top/Science/Math/Topology/Algebraic Topology

Category Theory Sites:

Categorical Myths and Legends Categorical Myths and Legends: An archive of stories about category theorists. (Category Theory) http://www.mcs.le.ac.uk/~ah83/cat-myths/ Toposes, Triples and Theories 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. (Category Theory) http://www.cwru.edu/artsci/math/wells/pub/ttt.html Paul Taylor's Home Page Paul Taylor's Home Page: Includes papers on category theory. (Category Theory) http://www.dcs.qmw.ac.uk/~pt/ Descent and Category Theory Connections Descent and Category Theory Connections: Maintained by M. Alsani. (Category Theory) http://north.ecc.edu/alsani/descent.html A Gentle Introduction to Category Theory 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. (Category Theory) http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html Category Theory Category Theory: This expository article is an entry in the Stanford Encyclopedia of Philosophy. (Category Theory) http://plato.stanford.edu/entries/category-theory/ Open Problems on Model Categories Open Problems on Model Categories: Problems on model categories listed by Mark Hovey at Wesleyan University. (Category Theory) http://claude.math.wesleyan.edu/~mhovey/problems/model.html Categories Home Page Categories Home Page: Web page for the category theory mailing list. (Category Theory) http://www.mta.ca/~cat-dist/ Higher-Dimensional Categories Higher-Dimensional Categories: An illustrated guide book by Eugenia Cheng and Aaron Lauda (PS/PDF). (Category Theory) http://www.dpmms.cam.ac.uk/~elgc2/guidebook/ Category Theory and Homological Algebra Category Theory and Homological Algebra: In the "known maths" series. (Category Theory) http://www.math.niu.edu/~rusin/known-math/index/18-XX.html The Computational Category Theory Project 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. (Category Theory) http://www.unico.it/~walters/comcat/comcatproj.html CT Category Theory 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. (Category Theory) http://front.math.ucdavis.edu/math.CT Structures Directory Structures Directory: Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science. (Category Theory) http://boole.stanford.edu/pub/structdir Categories, Quantization, and Much More Categories, Quantization, and Much More: Introductory article by John Baez. (Category Theory) http://math.ucr.edu/home/baez/categories.html Computational Category Theory Computational Category Theory: An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code. (Category Theory) http://www.cs.man.ac.uk/~david/categories/