Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent

MaRDI QIDQ6552273zbMATH OpenFDO

Authors Maria Manuel Clementino, Fernando Lucatelli Nunes, Rui Prezado

Publication date 8 June 2024

Published in Theory and Applications of Categories (Search for Journal in Brave)

zbMATH Keywords

Galois theoryCartesian closed categoryeffective descent morphismexponentiabilitytopological functorGrothendieck descent theory2-dimensional category theorylax comma categories

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Special properties of functors (faithful, full, etc.) (18A22) 2-categories, bicategories, double categories (18N10) 2-dimensional monad theory (18N15)

Recommendations

• Lax comma $2$-categories and admissible $2$-functors
• Effective descent morphisms in categories of lax algebras
• scientific article; zbMATH DE number 1985405
• Descent morphisms and a van Kampen theorem in categories of lax algebras

Cites work

• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 2068090 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3305157 (Why is no real title available?)
• scientific article; zbMATH DE number 3318671 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• CHAD for expressive total languages
• Cauchy completeness, lax epimorphisms and effective descent for split fibrations
• Descent Data and Absolute Kan Extensions
• Descent for discrete (co)fibrations
• Descent for internal multicategory functors
• Effective descent maps of topological spaces
• Effective descent morphisms in categories of lax algebras
• Facets of descent. I
• Formal category theory: Adjointness for 2-categories
• Galois theories
• Galois theory and a new homotopy double groupoid of a map of spaces
• Kan extensions are partial colimits
• Kan extensions in enriched category theory
• Lax comma $2$-categories and admissible $2$-functors
• Lax comma categories of ordered sets
• Lax orthogonal factorisation systems
• Monoidal topology. A categorical approach to order, metric, and topology
• On biadjoint triangles
• On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
• On functors which are lax epimorphisms
• On lax epimorphisms and the associated factorization
• On lifting of biadjoints and lax algebras
• Pseudo-Kan extensions and descent theory
• Semantic factorization and descent
• The rise and fall of \(V\)-functors
• Triquotient maps via ultrafilter convergence
• Van Kampen theorems for categories of covering morphisms in lextensive categories

Cited in

(2)

• Lax comma $2$-categories and admissible $2$-functors
• Stone-Gelfand duality for metrically complete lattice-ordered groups

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)