En matemáticas , específicamente en la teoría de categorías , un funtor
es esencialmente sobreyectiva (o densa ) si cada objeto de es isomorfo a un objeto de la forma por algún objeto de .
Cualquier funtor que sea parte de una equivalencia de categorías es esencialmente sobreyectivo. Como recíproco parcial, cualquier functor pleno y fiel que sea esencialmente sobreyectivo es parte de una equivalencia de categorías. [1]
Notas
- ^ Mac Lane (1998), Teorema IV.4.1
Referencias
- Mac Lane, Saunders (septiembre de 1998). Categorías para el matemático que trabaja (segunda ed.). Saltador. ISBN 0-387-98403-8.