Selected Sites   (see also All Sites in this category)

Category Theory, Homological Algebra - Dave Rusin; The Mathematical Atlas A short article designed to provide an introduction to category theory, a comparatively new field of mathematics that provides a universal framework for discussing fields of algebra and geometry. 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; applications and related fields and subfields; textbooks, reference works, and tutorials; software and tables; other web sites with this focus. more>>

All Sites - 17 items found, showing 1 to 17

Applied and Computational Category Theory - RISC-Linz, 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 - Jean-Pierre 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>> Front for the Mathematics ArXiv - Univ. of California, Davis U.C. Davis front end for the xxx.lanl.gov e-Print archive, a major site for mathematics preprints that has incorporated many formerly independent specialist archives including alg-geom, funct-an, dg-ga, q-alg, auto-fms, cd-hg, 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 self-published 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>> 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>>

Page:  1

[Privacy Policy] [Terms of Use]

© 1994-2013 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Drexel University School of Education.