The cartesian morphisms of a fibre category FS are precisely the isomorphisms of FS.
Οι καρτεσιανοί μορφισμοί μιας νηματικής κατηγορίας FS είναι ακριβώς οι ισομορφισμοί της FS.