The adjunction functors S(F) → F and F → L(F) are both cartesian and equivalences (ibid.).
Η επέκταση των συναρτητών S (F) → F και F → L (F) είναι τόσο καρτεσιανή όσο και ισοδυναμία (ibid.).