| http://www.w3.org/ns/prov#value | - It is well known that if I have a differentialable manifold (holomorphic maniford) $M$, then I have a functor from the categroy of vector bundles on $M$ with flat connections to the categroy of local systems on $M$, given by $$(V,\nabla)\mapsto V^{\nabla}$$ and this functor is an equivalence of categories.
|
