الجبر المجرد, الدوال, رياضيات, نظرية الفئاتالدالة الفوق شاملة جوهريًا (Essentially Surjective Functor)