If E has a terminal object e and if F is fibred over E, then the functor ε from cartesian sections to Fe defined at the end of the previous section is an equivalence of categories and moreover surjective on objects.
Εάν η Ε έχει ένα τερματικό στοιχείο e και αν F είναι νηματική πάνω απο την E, τότε ο ε συναρτητής από τα καρτεσιανά τμήματα στο Fe που ορίζεται στο τέλος της προηγούμενης ενότητας είναι μια ισοδυναμία κατηγοριών και επιπλέον επιμορφισμός αντικειμένων.