forgetful functor
Jump to navigation
Jump to search
English[edit]
Noun[edit]
forgetful functor (plural forgetful functors)
- (category theory) a functor that forgets or drops some or all of its input's structure or properties before mapping to the output
Synonyms[edit]
- (in category theory): stripping functor, underlying functor
Translations[edit]
category theory: a functor that forgets its inputs's structure
|