Dear FOMers, Does anyone know if there is a precise, pure category theoretic criterion/definition for when a functor is forgetful? If this is well-known, please reply off the list, thanks. If it's not well-understood, it seems like this is a good f.o.m. question. Thanks in advance. Steve