Example 17.3.2. The main two examples are the adequate triples \((\Fin ,\Fin ,\Fin )\) and \((\Fin ,\Fin _{\inj },\Fin )\), where \(\Fin _{\inj } \subseteq \Fin \) is the wide subcategory of injections.
Generated from the authoritative LaTeX source.
Example 17.3.2. The main two examples are the adequate triples \((\Fin ,\Fin ,\Fin )\) and \((\Fin ,\Fin _{\inj },\Fin )\), where \(\Fin _{\inj } \subseteq \Fin \) is the wide subcategory of injections.
Generated from the authoritative LaTeX source.