Differential geometry reconstructed – a unified systematic framework [pdf]
topology.org