Yet Another Foundation for Calculus

Via John Baez' notes on Quantizaion, there is a another type of category of "smooth spaces", which can be used as a foundation for doing calculus. There is a system toward the "heavy end", with a lot of category theory involved.