… homotopy colimit … action groupoid …. quotient stack

subquotient

quotient space, geometric invariant theory

quotient stack

In type theory/homotopy type theory the analogous concept is that of quotient types.