In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra.

Presents a detailed and critical examination of the available conceptions of set and proposes a novel version.

This undergraduate text develops its subject through observations of the physical world, covering finite sets, cardinal numbers, infinite cardinals, and ordinal

Following the success of Logic for Mathematicians, Dr Hamilton has written a text for mathematicians and students of mathematics that contains a description and

This book presents a unified approach to the foundations of mathematics in the theory of sets, covering both conventional and finitary (constructive) mathematic