Practical Foundations of Mathematics
Library Home || Full Table of Contents || Suggest a Link || Library Help
|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 twentieth-century 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 wide-ranging 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.|
|Resource Types:||Articles, Books|
|Math Topics:||Category Theory/Homological Algebra|
© 1994- The Math Forum at NCTM. All rights reserved.