On effective descent \(\mathcal{V}\)-functors and familial descent morphisms

DOI10.1016/j.jpaa.2023.107597arXiv2305.04042OpenAlexW4390512358MaRDI QIDQ6146488

Rui Prezado

Publication date: 5 February 2024

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

enriched categoryeffective descent morphismsGrothendieck descent theorypseudopullback

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Functor categories, comma categories (18A25) Enriched categories (over closed or monoidal categories) (18D20) 2-categories, bicategories, double categories (18N10) Extensive, distributive, and adhesive categories (18B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Descent morphisms and a van Kampen theorem in categories of lax algebras
• A note on effective descent morphisms of topological spaces and relational algebras
• Limits for lax morphisms
• Semi-topological functors III: Lifting of monads and adjoint functors
• Introduction to extensive and distributive categories
• Categorical logic and type theory
• Some properties of Fib as a fibred \(2\)-category
• Effective descent maps of topological spaces
• Facets of descent. I
• Facets of descent. II
• Effective descent morphisms in categories of lax algebras
• Formal category theory: Adjointness for 2-categories
• Metric, topology and multicategory -- a common approach
• Ordered topological structures
• The rise and fall of \(V\)-functors
• Descent for internal multicategory functors
• On biadjoint triangles
• Fibered categories and the foundations of naive category theory
• Brouwerian Semilattices
• Triquotient maps via ultrafilter convergence
• On lifting of biadjoints and lax algebras
• Pseudo-Kan Extensions and Descent Theory
• A characterisation of the category of compact Hausdorff spaces
• Implicative Semi-Lattices