In order to support descent theory of sufficient generality to be applied in non-trivial situations in algebraic geometry the definition of fibred categories is quite general and abstract.
Για να υποστηρίξει τη θεωρία καθόδου της επαρκούς γενικότητας ώστε να εφαρμόζεται σε μη τετριμμένες καταστάσεις στην αλγεβρική γεωμετρία, ο ορισμός των νηματικών κατηγοριών είναι αρκετά γενικός και αφηρημένος.