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 find ourselves under the government of a system of political institutions, conducing more essentially to the ends of civil and religious liberty, than any of which the history of former times tells us.”
    —Abraham Lincoln (1809–1865)