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:

    “Ours is essentially a tragic age, so we refuse to take it tragically.”
    —D.H. (David Herbert)