Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Practical Foundations of Mathematics

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.paultaylor.eu/~pt/prafm/

Author:Paul Taylor
Description: 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.

Levels: College, Research
Languages: English
Resource Types: Articles, Books
Math Topics: Category Theory/Homological Algebra

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.