 Applied and Computational Category Theory  RISCLinz, Austria
A brief history and description of category theory, and some related links. From the Research Institute for Symbolic Computation.
...more>>
 Categories, Quantization, and Much More  John Baez
An introductory article touching on noncommutative, but still associative, algebras, the notion of a category, the axioms for a category, and more.
...more>>
 Category Theory  JeanPierre Marquis
An entry in the Stanford Encyclopedia of Philosophy covers category theory's definitions, history, and philosophical significance. Also includes a bibliography.
...more>>
 A Course in Homological Algebra  E. Lee Lady; University of Hawaii
A collection of graduate course notes. Files are in PDF and DVI formats. Contents include: tor, flatness, and purity; syzygies, projective dimension and global dimension; Gorenstein rings and modules; Auslander's proof of Roiter's Theorem; and a list
...more>>
 Entropic Groupoids (Catalogue of Algebraic Systems)  John Pedersen, W. Edwin Clark; Dept. of Mathematics, University of South Florida
Definition, examples, and references about entropic or medial groupoids. Links to related terms in the Catalogue.
...more>>
 Eugenia Cheng
Research as well as "things for nonspecialists" by a mathematician "keen to bring mathematics to a wider audience and help reduce maths phobia." Articles by the author of HigherDimensional Categories: An Illustrated Guide Book and Cakes, Custard and
...more>>
 Front for the Mathematics ArXiv  Univ. of California, Davis
U.C. Davis front end for the xxx.lanl.gov ePrint archive, a major site for mathematics preprints that has incorporated many formerly independent specialist archives including alggeom, functan, dgga, qalg, autofms, cdhg, MAGNUS, Several Complex
...more>>
 A Gentle Introduction to Category Theory  the calculational approach  Maarten M. Fokkinga; Dept. of Computer Science, University of Twente, The Netherlands
Lecture notes 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. Download the full text in postscript format.
...more>>
 Groupoid Home Page  Ramsay, Chiaramonte, Woo, Renault, Ramazan; Institute of Mathematics of the Romanian Academy
Papers on groupoids; other sources on groupoids; bibliography; an address book of mathematicians interested in groupoids; and future conferences.
...more>>
 Groupoids (Catalogue of Algebraic Systems)  John Pedersen, W. Edwin Clark; Dept. of Mathematics, University of South Florida
Definition, examples, decision problems, spectra and growth, references, and subsystems about groupoids.
...more>>
 Introductory Algebra, Topology, and Category Theory  Martin Dowd
This selfpublished advanced undergraduate algebra text is currently the only text available which covers such a wide range of material in a single volume. It is ideally suited for a number of uses, including as a supplementary text for any undergraduate
...more>>
 John Baez's Stuff  John Baez
The site features the author's column "This Week's Finds in Mathematical Physics," with archives dating back to 1993. "Fun stuff" includes old posts and email on Bayesianism in probability theory and quantum mechanics; some rambling lectures on knot polynomials,
...more>>
 Linear logic in computer science  Institut de Mathématiques de Luminy (IML)
A network of research groups (part of the European Training and Mobility for Researchers program) concerned with the relation between logic and theoretical computer science. Description of research areas; description of the sites; list of meetings and
...more>>
 Maarten M. Fokkinga
A computer science professor at the University of Twente in the Netherlands. His main interests are or have been algorithmics, also known as the mathematics of program construction, functional programming, semantics of programming systems, and formal
...more>>
 Math Becomes Way Cool  Keith Devlin (Devlin's Angle)
Over the past two or three years, books about mathematics and mathematicians have made their ways onto the bestseller lists, television series about mathematics have been aired, radio programs have carried stories about mathematics, and newspapers and
...more>>
 Practical Foundations of Mathematics  Paul Taylor
The full text (online, in HTML) of the book (some diagrams may be missing), published by Cambridge University Press in March, 1999 as number 59 in their series Cambridge Studies in Advanced Mathematics. Practical Foundations collects the methods of construction
...more>>
 Sarah Glaz
Teaching, research, books, and articles by the algebraist, ring theorist, and poet. See, in particular, the math poems of undergraduate students and Glaz's own poetry, which includes "Mathematical Modeling," "A Pantoum for the Power of Theorems," "I am
...more>>
 Toposes, Triples and Theories  Michael Barr and Charles Wells
A revised and corrected version of the original (1983) Grundlehren der math is available free for downloading. Formats: DVI, PDF, PostScript.
...more>>
 Universal Framework for Science and Engineering  Part 5: Category theory  Petr Ivankov
Software for use in Category Theory. The web site describes its function and operation.
...more>>
 
