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

zbMATH Open1540.18021MaRDI QIDQ6552273FDOQ6552273

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)

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

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)

Cites Work

• Facets of descent. I
• Galois theories
• 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
• Monoidal topology. A categorical approach to order, metric, and topology
• Kan extensions in enriched category theory
• Title not available (Why is that?)
• Formal category theory: Adjointness for 2-categories
• Effective descent maps of topological spaces
• Van Kampen theorems for categories of covering morphisms in lextensive categories
• Effective descent morphisms in categories of lax algebras
• Triquotient maps via ultrafilter convergence
• Descent for discrete (co)fibrations
• On functors which are lax epimorphisms
• On biadjoint triangles
• Descent for internal multicategory functors
• Galois theory and a new homotopy double groupoid of a map of spaces
• Lax comma categories of ordered sets
• On lifting of biadjoints and lax algebras
• Pseudo-Kan extensions and descent theory
• Semantic factorization and descent
• Descent Data and Absolute Kan Extensions
• On lax epimorphisms and the associated factorization
• Kan extensions are partial colimits
• The rise and fall of \(V\)-functors
• Title not available (Why is that?)
• 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

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)