Jabarkan Teorema Batchelor dari Supermanifold

Teorema Batchelor menyatakan bahwa setiap supermanifold isomorfik nonkanonik ke supermanifold dari bentuk . Kata "nonkanonis" mencegah salah satu dari kesimpulan bahwa supermanifold hanya dimuliakan bundel vektor; meskipun functor peta surjektif  ke kelas isomorfis dari supermanifold, ini tidak bertentangan dari kategori. Ini dipublikasikan oleh Marjorie Batchelor dalam 1979.

Bukti dari teorema Batchelor mengandalkan cara penting pada keberadaan partisi dari persatuan, jadi ini tidak berlaku untuk supermanifold analisis real atau kompleks.