Span pattern finite groupoids

Example 17.3.4. Let \(\FinGrpd \subseteq \Grpd \subseteq \Cat \) denote the full (2,1)-category of finite groupoids. Under the fully faithful inclusion \(\Grpd \hookrightarrow \An \), we may identify this with the full subcategory of animae spanned by objects of the form \(\bigsqcup _{i=1}^n BG_i\), the finite disjoint unions of classifying animae of finite groups \(G_i\). Then \((\FinGrpd ,\FinGrpd ,\FinGrpd )\) satisfies the conditions of Convention 17.3.1.