Adjointness in descent theory (Q678831): Difference between revisions
From MaRDI portal
Created claim: MaRDI profile type (P1460): MaRDI publication profile (Q5976449), #quickstatements; #temporary_batch_1710362833254 |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: An extension of the Galois theory of Grothendieck / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Duality and definability in first order logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An elementary proof of the descent theorem for Grothendieck toposes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4853372 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Descent and duality / rank | |||
Normal rank |
Revision as of 12:20, 27 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Adjointness in descent theory |
scientific article |
Statements
Adjointness in descent theory (English)
0 references
4 September 1997
0 references
Every functor is isomorphic to a composite of a functor which is essentially surjective on objects and a functor which is full and faithful. The abstraction of this to a factorization system in a bicategory was a basic ingredient of the reviewer's paper [``Characterization of bicategories of stacks'', Lect. Notes Math. 962, 282-291 (1982; Zbl 0495.18007)], where the notion of kernel was made unduly ornate. A simpler kernel related to lax descent is sufficient. The present paper can be seen as a development of these ideas with emphasis on the biadjunction between kernel and quotient operations.
0 references
essentially surjective
0 references
factorization system
0 references
bicategory
0 references
lax descent
0 references