… homotopy colimit … action groupoid …. quotient stack
subquotient
quotient space, geometric invariant theory
quotient stack
BRST complex
In type theory/homotopy type theory the analogous concept is that of quotient types.
derived intersection