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 - 19 items found, showing 1 to 19

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>> Category Theory - Luca Mauri; Rutgers University People working in category theory (alphabetically by country); conferences and meetings; Web resources (journals, preprints). ...more>> The Computational Category Theory Project - Rosebugh, Walters 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. Groups currently connected with this project are: Università dell' Insubria, Como, ...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>> 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>> Model Categories - Mark Hovey; Dept. of Mathematics, Wesleyan University Open problems on model categories, part of an algebraic topology problem list. ...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>> Sheafhom - Mark McConnell A set of tools for computation in the category of combinatorial sheaves, intended for research involving complexes of sheaves and the derived category. It can be used for any space topologically equivalent to a ranked poset; this includes the constructible ...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>>

Page:  1

[Privacy Policy] [Terms of Use]

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