Coisotropic algebras are used to formalize coisotropic reduction in Poisson
geometry and in deformation quantization; they find applications in other
fields as well. Here we prove a Serre–Swan theorem relating the regular
projective modules over the coisotropic algebra built out of a manifold
, a submanifold
and an integrable
smooth distribution
with vector bundles over this geometric situation and show an equivalence of
categories for the case of a simple distribution.