Cipriano Junior Cioffo ; Fabio Gadducci ; Davide Trotta - A taxonomy of categories for relations

lmcs:15269 - Logical Methods in Computer Science, July 1, 2026, Volume 22, Issue 2 - https://doi.org/10.46298/lmcs-22(2:36)2026
A taxonomy of categories for relationsArticle

Authors: Cipriano Junior Cioffo ; Fabio Gadducci ; Davide Trotta

The study of categories that abstract the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. This paper strives to provide a modern presentation of these ``categories for relations'', including their enriched version, further showing how they arise as Kleisli categories of symmetric monoidal monads. The resulting taxonomy aims at bringing clarity and organisation to the many related concepts and frameworks occurring in the literature.


Volume: Volume 22, Issue 2
Published on: July 1, 2026
Accepted on: May 2, 2026
Submitted on: February 20, 2025
Keywords: Category Theory, Logic in Computer Science

Consultation statistics

This page has been seen 325 times.
This article's PDF has been downloaded 84 times.