#
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 9, 2021 at 22:17:53.
See the history of this page for a list of all contributions to it.