Definition. Simply connected category [mde-1W94]

A category \(\mathbb {C}\) is simply connected if its fundamental groupoid is thin, or equivalently, if every functor from \(\mathbb {C}\) is naturally isomorphic to a constant functor.