Skip to main content
MathOverflow

Return to Answer

replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link
Community Bot
Community Bot
  • 1
  • 2
  • 3

I don't think there is. You can for example look at the wiki page for forgetful functors to see that the functors commonly referred to as forgetful can be quite different from one another. A lot of them are fully faithful, some are just faithful and some are not even that. One hope one might have would be to define it as a right adjoint to some type of functor (some sort of "free object" functor) as discussed in this questionthis question here on MO. This has it's drawbacks since, as discussed in the Wiki page mentioned above, there are forgetful functors that do not have a left adjoint.

I don't think there is. You can for example look at the wiki page for forgetful functors to see that the functors commonly referred to as forgetful can be quite different from one another. A lot of them are fully faithful, some are just faithful and some are not even that. One hope one might have would be to define it as a right adjoint to some type of functor (some sort of "free object" functor) as discussed in this question here on MO. This has it's drawbacks since, as discussed in the Wiki page mentioned above, there are forgetful functors that do not have a left adjoint.

I don't think there is. You can for example look at the wiki page for forgetful functors to see that the functors commonly referred to as forgetful can be quite different from one another. A lot of them are fully faithful, some are just faithful and some are not even that. One hope one might have would be to define it as a right adjoint to some type of functor (some sort of "free object" functor) as discussed in this question here on MO. This has it's drawbacks since, as discussed in the Wiki page mentioned above, there are forgetful functors that do not have a left adjoint.

Source Link
GMRA
GMRA
  • 2.1k
  • 4
  • 25
  • 31

I don't think there is. You can for example look at the wiki page for forgetful functors to see that the functors commonly referred to as forgetful can be quite different from one another. A lot of them are fully faithful, some are just faithful and some are not even that. One hope one might have would be to define it as a right adjoint to some type of functor (some sort of "free object" functor) as discussed in this question here on MO. This has it's drawbacks since, as discussed in the Wiki page mentioned above, there are forgetful functors that do not have a left adjoint.