Hard Facts

Soon to figure out how to write theorem environments in markdown. Until then…

Theorem : Let FMan be the category whose objects are simply connected smooth manifolds with flat connection, and whose arrows are diffeomorphisms that preserve the connection. Let Aff be the category of affine spaces and affine maps. Then FlMan and Aff are equivalent categories.