Enriched aspects of calculus of relations and 2-permutability (Preprint)

  <Reference List>
Type: Preprint
National /International: International
Title: Enriched aspects of calculus of relations and 2-permutability
Publication Date: 2024-06-15
Authors: - Maria Manuel Clementino
- Diana Rodelo
Abstract:

The aim of this work is to further develop the calculus of (internal) relations for a regular \( \mathsf{Ord} \)-category \( \mathbb{C} \). To capture the enriched features of a regular \( \mathsf{Ord} \)-category and obtain a good calculus, the relations we work with are precisely the ideals in \( \mathbb{C} \). We then focus on an enriched version of the 1-dimensional algebraic 2-permutable (also called Mal'tsev) property and its well-known equivalent characterisations expressed through properties on ordinary relations. We introduce the notion of \( \mathsf{Ord} \)-Mal'tsev category and show that these may be characterised through enriched versions of the above mentioned properties adapted to ideals. Any \( \mathsf{Ord} \)-enrichment of a 1-dimensional Mal'tsev category is necessarily an \( \mathsf{Ord} \)-Mal'tsev category. We also give some examples of categories which are not Mal'tsev categories, but are \( \mathsf{Ord} \)-Mal'tsev categories.

Institution: DMUC 24-33
Online version: http://www.mat.uc.pt...prints/eng_2024.html
Download: Not available
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support