On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
Publication:6146488
DOI10.1016/J.JPAA.2023.107597arXiv2305.04042OpenAlexW4390512358MaRDI QIDQ6146488
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
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)
Related Items (1)
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
This page was built for publication: On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
