Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Practical Foundations of Mathematics

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/
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-2012 Drexel University. All rights reserved.
http://mathforum.org/
 The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.