Cartesian functors between two E-categories F,G form a category CartE(F,G), with natural transformations as morphisms.
Καρτεσιανοί συναρτητές μεταξύ δύο E-κατηγοριών F,G σχηματίζουν μια κατηγορία CartE(F,G), με φυσικούς μετασχηματισμούς, ως μορφισμούς.