Span pattern finite G sets

Example 17.3.3. More generally, let \(G\) be a finite group and let \(\Fin _G\) be the category of finite \(G\)-sets. Then the adequate triples \((\Fin _G,\Fin _G,\Fin _G)\) and \((\Fin _G,(\Fin _G)_{\inj }, \Fin _G)\) are examples.