Giraud subcategory

In mathematics, Giraud subcategories form an important class of subcategories of Grothendieck categories. They are named after Jean Giraud.

Definition

Let be a Grothendieck category. A full subcategory is called reflective, if the inclusion functor has a left adjoint. If this left adjoint of also preserves kernels, then is called a Giraud subcategory.

Properties

Let be Giraud in the Grothendieck category and the inclusion functor.

  • is again a Grothendieck category.
  • An object in is injective if and only if is injective in .
  • The left adjoint of is exact.
  • Let be a localizing subcategory of and be the associated quotient category. The section functor is fully faithful and induces an equivalence between and the Giraud subcategory given by the -closed objects in .
gollark: It's probably overkill for everything but krist mining.
gollark: For what?
gollark: <@278889690596376576> Why does the switchcraft pack .11 zip extract to a folder called `switchcraft-3.10`? It broke my updater script.
gollark: You should just add storage backend support and use the Dragon API.
gollark: Oh, and Chromium, so RAM-eatier.

See also

References

  • Bo Stenström; 1975; Rings of quotients. Springer.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.