The Stacks project

80 Quotients of Groupoids