Aslida sur'ektiv funktsiya - Essentially surjective functor

Yilda matematika, xususan toifalar nazariyasi, a funktsiya

${ displaystyle F: C to D}$

bu mohiyatan sur'ektiv (yoki zich) agar har bir ob'ekt ${ displaystyle d}$ ning ${ displaystyle D}$ shakl ob'ekti uchun izomorfikdir ${ displaystyle Fc}$ ba'zi narsalar uchun ${ displaystyle c}$ ning ${ displaystyle C}$.

Ning bir qismi bo'lgan har qanday funktsiya toifalarning ekvivalentligi mohiyatan sur'ektivdir. Qisman suhbat sifatida, har qanday to'liq va sodiq funktsiya bu mohiyatan sur'ektiv bo'lib, toifalar ekvivalentligining bir qismidir.^[1]

Izohlar

Adabiyotlar

• Mac Leyn, Sonders (Sentyabr 1998). Ishchi matematik uchun toifalar (ikkinchi nashr). Springer. ISBN  0-387-98403-8.

Tashqi havolalar

• Aslida sur'ektiv funktsiya yilda nLab

Bu toifalar nazariyasi bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.