Essentially Surjective Functor

In category theory, a functor

is essentially surjective (or dense) if each object of is isomorphic to an object of the form for some object of . Any functor which is part of an equivalence is essentially surjective.

Functor types
  • Additive
  • Adjoint
  • Derived
  • Diagonal
  • Enriched
  • Essentially surjective
  • Exact
  • Faithful
  • Forgetful
  • Full
  • Representable
  • Smooth

Famous quotes containing the word essentially:

    “Twentieth-century art may start with nothing, but it flourishes by virtue of its belief in itself, in the possibility of control over what seems essentially uncontrollable, in the coherence of the inchoate, and in its ability to create its own values.”
    —A. Alvarez (b. 1929)