V zásadě surjektivní funktor - Essentially surjective functor

v matematika, konkrétně v teorie kategorií, a funktor

${ displaystyle F: C až D}$

je v podstatě surjektivní (nebo hustý) pokud každý objekt ${ displaystyle d}$ z ${ displaystyle D}$ je izomorfní s objektem formy ${ displaystyle Fc}$ pro nějaký objekt ${ displaystyle c}$ z ${ displaystyle C}$.

Jakýkoli funktor, který je součástí rovnocennost kategorií je v podstatě surjektivní. Jako částečný rozhovor, jakýkoli plný a věrný funktor to je v podstatě surjektivní, je součástí rovnocennosti kategorií.^[1]

Poznámky

Reference

• Mac Lane, Saunders (Září 1998). Kategorie pro Working Mathematician (druhé vydání). Springer. ISBN  0-387-98403-8.

externí odkazy

• V zásadě surjektivní funktor v nLab

Tento teorie kategorií související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.