Category Theory Algebra Math

@Intermall

Top: Science: Math: Algebra: Category_Theory:

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

• - An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
  
• - This expository article is an entry in the Stanford Encyclopedia of Philosophy.
  
• - An archive of stories about category theorists.
  
• - By Michael Barr and Charles Wells, 1983. A revised and corrected version is now available free for downloading. Formats: DVI, PDF, PostScript.
  
• - Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
  
• - An illustrated guide book by Eugenia Cheng and Aaron Lauda (PS/PDF).
  
• - Introductory article by John Baez.
  
• - 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.
  
• - 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.
  
• - In the "known maths" series.
  
• - Maintained by Birant Ramazan. Address book, open problems, meetings, pictures, other resources.
  
• - Web page for the category theory mailing list.
  
• - Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
  
• - Includes papers on category theory.
  
• - Notes by Ronald Brown.
  
• - Maintained by M. Alsani.
  
• - Problems on model categories listed by Mark Hovey at Wesleyan University.