Stacks (mathematics)

generalization (and categorification) of a sheaf; a fibered category that admits effective descent