Definition 13.1.1. A subcategory \(C' \subseteq C\) is called wide if it contains all objects of \(C\).

Generated from the authoritative LaTeX source.