Practical Foundations of Mathematics
Library Home 
Full Table of Contents 
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]
© 1994 The Math Forum at NCTM. All rights reserved.
http://mathforum.org/