underlying set

Given a concrete category, that is a category $C$ equipped with a functor $U$ from $C$ to the category of sets (satisfying certain conditions), we call $U$ a forgetful functor and call $U(x)$, for $x$ an object of $C$, the **underlying set** of $x$.

In the case where $C$ is explicitly a category of structured sets, then every object $x$ of $C$ is a set ${|x|}$ equipped with some extra structure. In that case, the underlying set of $x$ is precisely this set ${|x|}$.

More generally, if $C$ is concrete over $D$, so we have $U\colon C \to D$ faithful, then given any object $x\colon C$, its **underlying object** of $D$ is $U(x)$.

Last revised on August 29, 2012 at 19:41:41. See the history of this page for a list of all contributions to it.