# nLab final subcategory

category theory

## Applications

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

Revised on October 28, 2010 02:54:58 by Mike Shulman (71.137.3.108)