Practical Foundations of Mathematics
Library Home 
Full Table of Contents 
Suggest a Link 
Library Help
http://www.paultaylor.eu/~pt/prafm/  


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 of the objects of twentiethcentury mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic ZF, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wideranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology, and programming. For other publications by Taylor, see his home page.  


Levels:  College, Research 
Languages:  English 
Resource Types:  Articles, Books 
Math Topics:  Category Theory/Homological Algebra 
[Privacy Policy] [Terms of Use]
© 19942014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Drexel University School of Education.