Stanford Encyclopedia of Philosophy (Table of Contents)
" ... this document constantly changes with the addition of new entries and the modification of existing entries. Consequently, you can expect the entries in this encyclopedia to be responsive to new research. Moreover, the entries and their modifications are evaluated by an Editorial Board. Whenever an entry comes online or is significantly modified, the Editorial Board member in charge of that entry is automatically notified and it is then his or her responsibility to evaluate the new material. ..."
Categorical Theory:
Categories, Types and Structures: an introduction to Category Theory for the working computer scientist. (PostScript)
by Andrea Asperti and Giuseppe Longo, M.I.T.- Press, 1991. (pp. 1--300). (Available by ftp, see
the book content page in Downloadable Papers).
Basic Category Theory (Abstract PostScript DVI)
(a publication in Basic Research in Computer Science)
by Jaap van Oosten, January 1995. vi+75 pp.
Universal Algebra:
Abstract Algebra On Line
A Site maintained by John Beachy
" This site contains many of the definitions and theorems from the area
of mathematics generally called abstract algebra. It is intended for undergraduate
students taking an abstract algebra class at the junior/senior level, as
well as for students taking their first graduate algebra course."
Hermann Grassmann and the Prehistory of Universal Algebra
Hermann Grassmann and the Creation of Linear Algebra
by Desmond Fearnley-Sander
|
"... geometry can in
no way be viewed, like arithmetic or the
theory of combinations, as a branch of mathematics; instead, geometry relates to something already given in nature, namely, space. I also had realized that there must be a branch of mathematics which yields in a purely abstract way laws similar to those of geometry, which is limited to space. By means of the new analysis it is possible to form such a purely abstract branch of mathematics; indeed this new analysis, developed without assuming any principles established outside its own domain and proceeding purely by abstraction, was itself this science." |