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:

    “We are often reminded that if there were bestowed on us the wealth of Crsus, our aims must still be the same, and our means essentially the same.”
    —Henry David Thoreau (1817–1862)