Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
zbMATH Open1540.18021MaRDI QIDQ6552273
Rui Prezado, Fernando Lucatelli Nunes, Maria Manuel Clementino
Publication date: 8 June 2024
Published in: Theory and Applications of Categories (Search for Journal in Brave)
Galois theoryCartesian closed categoryeffective descent morphismexponentiabilitytopological functorGrothendieck descent theory2-dimensional category theorylax comma categories
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Special properties of functors (faithful, full, etc.) (18A22) Definitions and generalizations in theory of categories (18A05) 2-categories, bicategories, double categories (18N10) 2-dimensional monad theory (18N15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lax orthogonal factorisation systems
- Effective descent maps of topological spaces
- Facets of descent. I
- Van Kampen theorems for categories of covering morphisms in lextensive categories
- Galois theory and a new homotopy double groupoid of a map of spaces
- Effective descent morphisms in categories of lax algebras
- Descent for discrete (co)fibrations
- Formal category theory: Adjointness for 2-categories
- Semantic factorization and descent
- On lax epimorphisms and the associated factorization
- Kan extensions are partial colimits
- The rise and fall of \(V\)-functors
- Kan extensions in enriched category theory
- Descent for internal multicategory functors
- Galois theories
- On functors which are lax epimorphisms
- On biadjoint triangles
- Monoidal Topology
- Triquotient maps via ultrafilter convergence
- On lifting of biadjoints and lax algebras
- Pseudo-Kan Extensions and Descent Theory
- Descent Data and Absolute Kan Extensions
- Lax comma categories of ordered sets
- On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
- CHAD for expressive total languages
- Cauchy completeness, lax epimorphisms and effective descent for split fibrations
- Lax comma $2$-categories and admissible $2$-functors
Related Items (1)
This page was built for publication: Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6552273)
