| ID | c20c89ab-2249-4b40-b64e-e4da183de2a3 |
|---|---|
| DeertopiaVisibility | public |
Forgetful functor (category theory)
Some categories have a forgetful functor which maps a category to its underlying set. One such category is , whose forgetful functor "forgets" the group structure leaving only the underlying sets of objects and plain functions in place of group homomorphisms.
There are "partially-forgetful" functors that forget some, but not all structure. Consider for example, an inclusion functor , which forgets the structure of division, but preserves that of addition and multiplication.