On the Cocartesian Image of Preorders and Equivalence Relations in Regular Categories - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Applied Categorical Structures Année : 2022

On the Cocartesian Image of Preorders and Equivalence Relations in Regular Categories

Résumé

In a regular category E, the direct image along a regular epimorphism f of a preorder is not a preorder in general. In Set, its best preorder approximation is then its cocartesian image above f . In a regular category, the existence of such a cocartesian image above f of a preorder S is actually equivalent to the existence of the supremum R[ f ] ∨ S among the preorders. We investigate here some conditions ensuring the existence of these cocartesian images or equivalently of these suprema. They apply to two very dissimilar contexts: any topos E with suprema of countable chains of subobjects or any n-permutable regular category.

Dates et versions

hal-04353392 , version 1 (19-12-2023)

Identifiants

Citer

Dominique Bourn. On the Cocartesian Image of Preorders and Equivalence Relations in Regular Categories. Applied Categorical Structures, 2022, 30 (6), pp.1153-1176. ⟨10.1007/s10485-022-09686-w⟩. ⟨hal-04353392⟩
11 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More