A stack F on a topological space X is said to be a stack of groupoids if for each open subset U⊆X, the category F(U) is a groupoid.

algebraic geometry stack | category | category theory | groupoid | topological space