2 papers
math.CT2026
Enriched aspects of calculus of relations and -permutability
Maria Manuel Clementino, Diana Rodelo
The aim of this work is to further develop the calculus of (internal) relations for a regular Ord-category C. To capture the enriched features of a regular Ord-category and obtain…
math.CT2024
A note on Mal'tsev objects
M. M. Clementino, D. Rodelo
The aim of this work is to compare the distinct notions of Mal'tsev object in the sense of Weighill and in the sense of Montoli-Rodelo-Van der Linden.