The Azimuth Project
Tim Porter (Rev #1)

Here is my nLab page, that explains all.