The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces

A rigorous, axiomatically formulated presentation of the 'zero-square', or 'nilpotent' infinitesimal.

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The fir

This book, first published in 2006, details how limit processes can be represented algebraically.

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from th