final subcategory

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

Last revised on October 28, 2010 at 02:54:58. See the history of this page for a list of all contributions to it.