A co-fibred E-category is anE-category such that direct image exists for each morphism in E and that the composition of direct images is a direct image.
Μια συν-νηματική E-κατηγορία είναι μια Ε-κατηγορία, τέτοια ώστε να υπάρχει άμεση εικόνα για κάθε μορφισμό στο Ε και ότι η σύνθεση των άμεσων εικόνων είναι μια άμεση εικόνα.