Home | Questions | References | Notations | Dictionary | Library | Links
General Interests: 

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." 
Hermann Gassmann (1809-1877) 
Home | Questions | References | Notations | Dictionary | Library | Links