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:

    “Chance does not speak essentially through words nor can it be seen in their convolution. It is the eruption of language, its sudden appearance.... It’s not a night atwinkle with stars, an illuminated sleep, nor a drowsy vigil. It is the very edge of consciousness.”
    —Michel Foucault (1926–1984)