Contractible Groupoid

A contractible groupoid is a category which is equivalent to the terminal category \(1\) under an equivalence of categories.

The Category of Elements

For any set-valued functor \(F\) on a category \(C\), the full subcategory of the category of elements of \(F\) spanned by its representations is either empty or is a contractible groupoid.