Lax comma categories of ordered sets

DOI10.2989/16073606.2023.2247729MaRDI QIDQ6087849zbMATH OpenFDO

Authors Maria Manuel Clementino, Fernando Lucatelli Nunes

Publication date 16 November 2023

Published in Quaestiones Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

\textsf{Ord}-enriched categoriescartesian closed categoriescomma categorieseffective descent morphismsenriched categoriesexponentiabilitylax comma 2-categoriestopological functors

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Functor categories, comma categories (18A25) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Enriched categories (over closed or monoidal categories) (18D20) Categorical Galois theory (18E50) 2-categories, bicategories, double categories (18N10)

Abstract: Let $mathsfOrd$ be the category of (pre)ordered sets. Unlike $mathsfOrd/X$, whose behaviour is well-known, not much can be found in the literature about the lax comma 2-category $mathsfOrd//X$. In this paper we show that the forgetful functor $mathsfOrd//XomathsfOrd$ is topological if and only if $X$ is complete. Moreover, under suitable hypothesis, $mathsfOrd//X$ is complete and cartesian closed if and only if $X$ is. We end by analysing descent in this category. Namely, when $X$ is complete and cartesian closed, we show that, for a morphism in $mathsfOrd//X$, being pointwise effective for descent in $mathsfOrd$ is sufficient, while being effective for descent in $mathsfOrd$ is necessary, to be effective for descent in $mathsfOrd//X$.

Cites work

• Effective descent maps of topological spaces
• Facets of descent. I
• Finite preorders and topological descent. I
• Galois theories
• scientific article; zbMATH DE number 19488 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1024334 (Why is no real title available?)
• scientific article; zbMATH DE number 2068090 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• Kan injectivity in order-enriched categories
• Lax orthogonal factorisation systems
• Lax orthogonal factorisations in ordered structures
• On localization and stabilization for factorization systems
• Pseudo-Kan extensions and descent theory
• Pure Galois theory in categories
• Semi-topological functors III: Lifting of monads and adjoint functors
• Topological functors
• Triquotient maps via ultrafilter convergence

Cited in

(9)

• Fraïssé limits in comma categories
• scientific article; zbMATH DE number 6718991 (Why is no real title available?)
• scientific article; zbMATH DE number 3855347 (Why is no real title available?)
• Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
• Stone-Gelfand duality for metrically complete lattice-ordered groups
• Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
• Topological Lax comma categories
• Effective descent morphisms of ordered families
• Effective descent morphisms of filtered preorders

This page was built for publication: Lax comma categories of ordered sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6087849)