# nLab final subcategory

category theory

## Applications

A subcategory $i : C \hookrightarrow D$ is called final (sometimes cofinal) if the injection functor $i$ is a final functor.

Last revised on February 10, 2021 at 03:17:53. See the history of this page for a list of all contributions to it.