A taxonomy of categories for relations

Technische Samenvatting: Een Taxonomie van Categorieën voor Relaties

Probleemstelling
Het onderzoek naar categorieën die de structurele eigenschappen van relaties abstracteeren, heeft de afgelopen decennia een divers en rijk corpus aan werk opgeleverd. De proliferatie van vergelijkbare concepten die voortkomen uit verschillende contexten (bijvoorbeeld algebraïsche presentaties van termgrafieken, categorische waarschijnlijkheid, partiële functies en logica) heeft echter geleid tot een gefragmenteerde literatuur. Deze structuren delen vaak een fundamentele aard, maar maken gebruik van verschillende notaties en terminologieën (bijvoorbeeld restrictiecategorieën, Markov-categorieën, $p$-categorieën en kopieer/wegwerp-categorieën). Deze fragmentatie maakt het uitdagend om het veld te navigeren en een duidelijk raamwerk te vestigen dat deze diverse categorische noties met elkaar verbindt. Bovendien is het, hoewel een bekend feit dat de Kleislicategorie van een symmetrisch monoidale monade op een cartesiaanse categorie symmetrisch monoidaal is, een systematisch onderzoek ontbreekt naar hoe deze eigenschappen zich uitbreiden naar verrijkte contexten en specifieke subklassen van monaden (affijn, relevant en $gs$-monoidaal).

Methodologie
De auteurs hanteren een modulaire aanpak gebaseerd op de taal van snaardiagrammen om deze structuren te verenigen en te classificeren. De kernmethodologie omvat:

1. Decompositie in Kernaxioma's: De taxonomie is gebaseerd op twee fundamentele concepten: share-categorieën (uitgerust met een duplicator $\nabla_X: X \to X \otimes X$) en categorieën met afval (uitgerust met een discharger $!_X: X \to I$).
2. Axiomatische Variatie: Door de eisen voor het bestaan en de naturaliteit van deze pijlen te variëren, leiden de auteurs een hiërarchie van categorieën af. Zo levert het vereisen van naturaliteit voor beide pijlen cartesiaanse monoidale categorieën op, terwijl het vereisen van alleen bestaan $gs$-monoidale categorieën oplevert.
3. Dualisatie en Verrijking: Het raamwerk wordt uitgebreid naar duale structuren ($cogs$-monoidale categorieën) en naar contexten die verrijkt zijn met preordes (waarbij standaardcategorieën worden vervangen door 2-categorieën waarbij 2-cell een ordening vertegenwoordigen, zoals verzamelingstheoretische inclusie).
4. Kleisli-analyse: Het artikel onderzoekt de Kleislicategorieën van symmetrisch monoidale monaden (specifiek affijne, relevante en $gs$-monoidale monaden) over deze basiscategorieën. Het analyseert hoe de structurele eigenschappen van de basiscategorie (bijvoorbeeld het bestaan van diagonalen of projecties) behouden of getransformeerd worden in de resulterende Kleislicategorie.

Belangrijkste Bijdragen

• Gecentraliseerde Taxonomie: Het artikel biedt een uitgebreide diagrammatische taxonomie die "categorieën voor relaties" (waaronder Markov-, restrictie-, $gs$-monoidale en cartesiaanse categorieën) organiseert op basis van de aanwezigheid en naturaliteit van duplicatoren en dischargers.
• Karakterisering van Bekende Structuren: Het vestigt precieze correspondenties tussen de voorgestelde taxonomie en bestaande raamwerken. Specifiek:
  • $gs$-monoidale categorieën met projecties blijken exact te corresponderen met Markov-categorieën.
  • $gs$-monoidale categorieën met diagonalen blijken exact te corresponderen met cartesiaanse restrictiecategorieën.
• Resultaten over Kleislicategorieën: De auteurs bewijzen dat de Kleislicategorie van een relevante (respectievelijk affijne) monade op een categorie met diagonalen (respectievelijk projecties) die specifieke structuren behoudt. Bijgevolg is de Kleislicategorie van een $gs$-monoidale monade op een cartesiaanse monoidale categorie zelf cartesiaans monoidaal.
• Verrijkte Context: Het artikel breidt deze resultaten uit naar categorieën die verrijkt zijn met preordes. Het introduceert oplax cartesiaanse categorieën (waarbij pijlen oplax kopieerbaar en wegwerpbaar zijn) en toont aan dat posetale oplax cartesiaanse categorieën die specifieke ongelijkheden voldoen, equivalent zijn aan restrictiecategorieën.
• Duale en Bialgebraïsche Structuren: Het werk definieert en analyseert duale structuren ($cogs$-monoidaal, bigs-monoidaal) en verkent de interactie tussen monoidale en comonoidale structuren, waarbij voorwaarden worden geïdentificeerd voor bialgebraïsche en Frobenius-categorieën.

Resultaten

• Structurele Behoud: Het artikel toont aan dat de eigenschap een $gs$-monoidale categorie te zijn, behouden blijft bij de vorming van Kleislicategorieën voor symmetrisch monoidale monaden.
• Specifiek Behoud:
  • Als een basiscategorie $C$ projecties heeft (een Markov-categorie is) en $T$ een affijne monade is, heeft de Kleislicategorie $C_T$ projecties.
  • Als $C$ diagonalen heeft (een cartesiaanse restrictiecategorie is) en $T$ een relevante monade is, heeft $C_T$ diagonalen.
  • Als $C$ cartesiaans monoidaal is en $T$ een $gs$-monoidale monade is, is $C_T$ cartesiaans monoidaal.
• Verrijkte Kleislicategorieën: Voor preorde-verrijkte $gs$-monoidale categorieën, als $C$ oplax cartesiaans is en $T$ een colax $gs$-monoidale monade is, dan is de Kleislicategorie $C_T$ ook oplax cartesiaans.
• Cartesiaanse Bicategorieën: Het artikel toont aan dat cartesiaanse bicategorieën exact corresponderen met posetale oplax bicartesiaanse categorieën die lax speciaal en lax verbonden zijn en een specifieke ongelijkheid voldoen. Bovendien is de Kleislicategorie van een colax $gs$-monoidale monade over een cartesiaanse bicategorie zelf een cartesiaanse bicategorie.
• Voorbeelden: De taxonomie wordt gevalideerd via diverse voorbeelden, waaronder categorieën van spannen, gewogen relaties (via semiring-monaden) en categorieën van verzamelingen en partiële/totale relaties.

Betekenis en Aanspraken
De auteurs claimen dat hun primaire bijdrage het brengen van helderheid en organisatie is in een gefragmenteerd veld door een enkel, modulair referentiepunt te bieden voor deze gerelateerde concepten. Door gebruik te maken van snaardiagrammen en een minimale set axioma's, bieden ze een intuïtieve maar rigoureuze taal voor het vergelijken van relationele noties.

Met betrekking tot de analyse van Kleislicategorieën stelt het artikel dat de uitbreiding van deze resultaten naar de verrijkte context (preorde-verrijkte categorieën), voor zover bekend, origineel is. Het werk beoogt zowel ervaren onderzoekers te dienen door relevant materiaal op één plaats te verzamelen, als nieuwkomers door een zelfstandige inleiding te bieden. De auteurs merken expliciet op dat hoewel ze epi-mono-factorisatie kort noemen, een systematische vergelijking met decompositietechnieken zoals distributieve wetten buiten het bestek van dit artikel valt, en positioneren hun $gs$-monoidale aanpak als een distinct, axiomatisch eenvoudig alternatief voor taxonomieën gebaseerd op dubbel-categorieën.

Het artikel concludeert met het schetsen van toekomstige richtingen, waaronder de combinatorische presentatie van vrije $gs$-monoidale categorieën, de uitbreiding naar getraceerde categorieën voor feedbacksystemen, en verdere onderzoeken naar alternatieve noties van Markov-categorieën en affijne monaden in de context van waarschijnlijkheidstheorie.