#
nLab
final subcategory

### Context

#### Category theory

**category theory**

## Concepts

## Universal constructions

## Theorems

## Extensions

## 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.