Higher Topos Theory › Section 2.2: Effective epimorphisms
Exercise 2.19.
Show that a groupoid object in \(\Set\) is nothing but a classical groupoid.