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:

    “It would be easy ... to regard the whole of world 3 as timeless, as Plato suggested of his world of Forms or Ideas.... I propose a different view—one which, I have found, is surprisingly fruitful. I regard world 3 as being essentially the product of the human mind.... More precisely, I regard the world 3 of problems, theories, and critical arguments as one of the results of the evolution of human language, and as acting back on this evolution.”
    —Karl Popper (1902–1994)