An E-functor between two E-categories is called a cartesian functor if it takes cartesian morphisms to cartesian morphisms.
Ένας E-συναρτητής μεταξύ δύο E-κατηγοριών ονομάζεται καρτεσιανός συναρτητής αν μεταφέρει καρτεσιανούς μορφισμούς σε καρτεσιανούς μορφισμούς.