Top : Science : Math : Algebra :
Category Theory
Categories
| Events Journals Research Groups |
Websites
Includes papers on category theory.
site exerpt
Paul Taylor Please contact me by electronic mail: pt@cs.man.ac.uk Please note that I am physically in London, not Manchester. If you want to send me something by post, telephone me or visit me, please email me first or see the directions to...Introductory article by John Baez.
site exerpt
Categories Quantum theory can be thought of as the generalization of classical mechanics you get by dropping the assumption that observable quantities like position and momentum commute. In quantum theory one thus learns to like noncommutative, but still associative, algebras. It...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.
http://www.unico.it/~walters/comcat/comcatproj.html
In the "known maths" series.
site exerpt
18: Category theory, homological algebra While the general theory and certain types of categories have attracted considerable interest, the area of homological algebra has proved most fruitful in areas of ring theory, group theory, and algebraic topology. History A survey article which discusses the roles...Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
site exerpt
Email addresses of structure theorists Release 15.5, Sept. 16, 2005 Master copy: http boole.stanford.edu/pub/structdir Maintainer: Vaughan Pratt, pratt@cs.stanford.edu This is an email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science. Updates...By Michael Barr and Charles Wells, 1983. A revised and corrected version is now available free for downloading. Formats: DVI, PDF, PostScript.
site exerpt
Toposes, Triples and Theories A revised and corrected version is now available free for downloading. Please do not redestribute this file, since we may correct and update it from time to time: Zipped Acrobat PDF File. Zipped TeX DVI File. Zipped Postscript File. Here...Maintained by M. Alsani.
site exerpt
Alsani's Descent Category Theory WebPage! This page is merely a launching pad to sites of interest in Descent or Category Theory. Selected Category Theory E-mail from the Category Theory mailing list Category Theory Archives from the Front for the Mathematics ArXiv site Category Theory Stanford...Problems on model categories listed by Mark Hovey at Wesleyan University.
site exerpt
Open problems on model categories This is part of an algebraic topology problem list, maintained by Mark Hovey. I am not sure working on model categories is a safe thing to do. It is too abstract for many people, including many of the people who...Web page for the category theory mailing list.
site exerpt
Categories Home Page Addresses electronic and postal General, Seminar-related, and Local Sites Theory and Applications of Categories refereed electronic journal. TeX Macros for diagrams Using the list: Articles for posting should be sent to categories@mta.ca Administrative items (subscriptions, address changes etc should be...An archive of stories about category theorists.
http://www.mcs.le.ac.uk/~ah83/cat-myths/
Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
site exerpt
CT Category Theory A note on the composition product of symmetric sequences. Michael Ching. 18 pages. CT (AT 14 Oct math.CT/0510281 A Kleisli-based approach to lax algebras. Gavin J. Seal. 16 pages. CT (GN 5 Oct math.CT/0510072 On the Lambek Invariants of Commutative...An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
site exerpt
Computational Category Theory Theory is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. The Manual For full details of the project, there is a copy of the manual (in PDF or Postscript) available here. The...An illustrated guide book by Eugenia Cheng and Aaron Lauda (PS/PDF).
site exerpt
guidebook This informal guide grew out of notes that we made when I was teaching Aaron about n-categories recently, in preparation for the IMA workshop on n-categories in June 2004. We made this available in advance of the workshop but with...Maintained by Birant Ramazan. Address book, open problems, meetings, pictures, other resources.
site exerpt
Groupoid Home Page Boulder and is maintained by Birant Ramazan at the University of Nevada Reno Address book Other sources on groupoids and links Some questions on groupoids Conferences Some pictures Our guestbook is now operational please feel free to browse our guestbook....Notes by Ronald Brown.
http://www.bangor.ac.uk/~mas010/gpds.htm
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.
site exerpt
Introduction to Category Theory Theory the calculational approach Maarten M Fokkinga In these notes we present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally. What you probably will not acquire from...