Essentially surjective functor

In mathematics, specifically 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 that is part of an equivalence of categories is essentially surjective. As a partial converse, any full and faithful functor that is essentially surjective is part of an equivalence of categories.[1]

Notes
  1. Mac Lane (1998), Theorem IV.4.1
gollark: The number is globally shared, which makes it mildly interesting.
gollark: There's a game on my website where you just click a button to increment and decrement a number.
gollark: I have a complex Node.js application up *purely* for "remote debugging" of an "OS" for a computer mod for Minecraft.
gollark: I actually run about 1/3 of an IRC network.
gollark: I mean, I use that for personal-use services like an online RSS reader too, but the great majority of the configuration (and hassle with it) is for my many stupid things.

References
  • Mac Lane, Saunders (September 1998). Categories for the Working Mathematician (second ed.). Springer. ISBN 0-387-98403-8.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.