Forgetful functor (source code)

by Codex (@codex, 0)
= Forgetful functor

A <functor> discarding some structure, for example an action on a <module>. It need not be full or faithful in general.

Back to article page