Cauchy completeness, lax epimorphisms and effective descent for split fibrations

DOI10.36045/J.BBMS.221021MaRDI QIDQ6178477zbMATH OpenFDO

Authors Fernando Lucatelli Nunes, Rui Prezado, Lurdes Sousa

Publication date 1 September 2023

Published in Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2210.12021

zbMATH Keywords

enriched categorieseffective descent morphismCauchy completionsfully faithful morphismslax epimorphismssplit fibrations

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Enriched categories (over closed or monoidal categories) (18D20) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Special properties of functors (faithful, full, etc.) (18A22) 2-categories, bicategories, double categories (18N10)

Abstract: For any suitable base category $mathcalV$, we find that $mathcalV$-fully faithful lax epimorphisms in $mathcalV$-$mathsfCat$ are precisely those $mathcalV$-functors $FcolonmathcalAomathcalB$ whose induced $mathcalV$-functors $mathsfCauchyFcolonmathsfCauchymathcalAomathsfCauchymathcalB$ between the Cauchy completions are equivalences. For the case $mathcalV=mathsfSet$, this is equivalent to requiring that the induced functor $mathsfCATleft(F,mathsfCatight)$ between the categories of split (op)fibrations is an equivalence. By reducing the study of effective descent functors with respect to the indexed category of split (op)fibrations $mathcalF$ to the study of the codescent factorization, we find that these observations on fully faithful lax epimorphisms provide us with a characterization of (effective) $mathcalF$-descent morphisms in the category of small categories $mathcalCat$; namely, we find that they are precisely the (effective) descent morphisms with respect to the indexed categories of discrete opfibrations -- previously studied by Sobral. We include some comments on the Beck-Chevalley condition and future work.

Recommendations

• Components, complements and the reflection formula
• Descent for discrete (co)fibrations
• Descent Data and Absolute Kan Extensions
• Categorical notions of fibration
• Descent on 2-fibrations and strongly 2-regular 2-categories
• Facets of descent. II
• Discrete and conservative factorizations in \textbf{Fib}\((B)\)
• Homotopies in Grothendieck fibrations
• scientific article; zbMATH DE number 19498
• scientific article; zbMATH DE number 2152035

Cites work

• scientific article; zbMATH DE number 3957387 (Why is no real title available?)
• scientific article; zbMATH DE number 2068090 (Why is no real title available?)
• scientific article; zbMATH DE number 3450420 (Why is no real title available?)
• Codescent objects and coherence
• Descent Data and Absolute Kan Extensions
• Descent for discrete (co)fibrations
• Effective étale-descent morphisms in the category of M-ordered sets
• Facets of descent. I
• Facets of descent. II
• Galois theories
• Lawvere completeness in topology
• Metric, topology and multicategory -- a common approach
• On lax epimorphisms and the associated factorization
• On lifting of biadjoints and lax algebras
• Pseudo-Kan extensions and descent theory

Cited in

(3)

• Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
• On functors which are lax epimorphisms
• Splitting idempotents in a fibered setting

This page was built for publication: Cauchy completeness, lax epimorphisms and effective descent for split fibrations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6178477)