Higher stack
In mathematics, especially algebraic geometry and algebraic topology, a higher stack is a higher category generalization of a stack. The notion goes back to Grothendieck’s Pursuing Stacks.
Toën suggests the following principle:
Sometimes a derived stack is defined as a higher stack of some sort.