---
title: Dilatory Dagger Categories
url: https://www.emergentmind.com/topics/dilatory-dagger-categories
type: topic
---

# Dilatory Dagger Categories

Dilatory dagger categories are dagger categories in which every morphism admits a universal coisometric span presentation, called a dilator. They were introduced to account for several categories that behave like categories of relations but do not fit the established theory of relations in regular categories, including the category of surjective multivalued functions, the category of injective partial functions, the category of finite probability spaces and stochastic matrices, and the category of Hilbert spaces and linear contractions [2508.01146]. Their structural role is explicitly relation-theoretic: just as regular categories correspond to tabular allegories, epi-regular independence categories correspond to dilatory dagger categories, with the equivalence sending an epi-regular independence category to its associated dagger category of relations and a dilatory dagger category to its wide subcategory of coisometries [2508.01146].

## 1. Origins in relation theory

The classical theory of relations explains many “relation-like” categories by passing from a regular category to its category of jointly monic spans. On the abstract side, this is captured by tabular allegories, and the standard correspondence is an adjoint equivalence
\[
\begin{tikzcd}[column sep=large]
\LexReg \ar[r, "\Rel", shift left=2] \ar[r, left adjoint] {} &
\TabAll \ar[l, "\Map", shift left=2]
\end{tikzcd}
\]
between finitely complete regular categories and unitary tabular allegories [2508.01146].

The motivating problem is that several natural categories appear relational without being explained by that paradigm. In the anomalous examples, morphisms can still be represented by spans or cospans with specially constrained legs, but those legs do not arise as the maps or comaps selected by the existing allegorical frameworks. The obstruction is structural: the wide subcategory of “function-like” morphisms is typically not a regular category, and may fail to have the pullbacks needed for ordinary relational composition. The paper’s response is to replace regularity by epi-regularity, ordinary pullbacks by independent pullbacks, and tabularity by a dagger-theoretic universality condition expressed through dilators [2508.01146].

## 2. Dagger-theoretic substrate

A dilatory dagger category is first of all a dagger category. Thus, for every morphism \(r \colon A \to B\), there is a morphism
\[
r^\dagger \colon B \to A
\]
such that
\[
1^\dagger = 1, \qquad (sr)^\dagger = r^\dagger s^\dagger, \qquad r^{\dagger\dagger} = r.
\]
Within any dagger category, a morphism \(f\) is **isometric** when
\[
f^\dagger f = 1,
\]
**coisometric** when
\[
ff^\dagger = 1,
\]
and **unitary** when both hold. The corresponding wide subcategories are denoted
\[
\Isom(D), \qquad \Coisom(D).
\]
The coisometries play the role of map-like morphisms in the dilatory theory [2508.01146].

This shift from maps to coisometries is decisive. In the classical regular-category story, relations are composed through spans of maps. In the dilatory setting, relations are encoded by spans of coisometries and, dually, by cospans of isometries. A basic lemma underscores this interpretation: if a coisometry \(f\) has a dilator, then \((1,f)\) is a dilator of \(f\). In that sense, coisometries are precisely the morphisms already presented in universal relational form [2508.01146].

## 3. Dilations, codilations, and universal span presentations

For a morphism \(r \colon A \to B\) in a dagger category, a **dilation** of \(r\) is a span \((f,g)\) from \(A\) to \(B\) such that \(f\) and \(g\) are coisometries and
\[
g f^\dagger = r.
\]
A **dilator** of \(r\) is a terminal dilation: a dilation \((R,r_1,r_2)\) such that every other dilation \((X,f,g)\) factors uniquely through it by a coisometry. Dually, a **codilation** of \(r\) is a cospan \((f,g)\) from \(A\) to \(B\) with \(f\) and \(g\) isometries and
\[
g^\dagger f = r,
\]
and a **codilator** is an initial codilation [2508.01146].

The dagger exchanges the two notions. A pair \((r_1,r_2)\) is a dilator of \(r\) if and only if \((r_1^\dagger,r_2^\dagger)\) is a codilator of \(r\). Consequently, a dagger category is **dilatory** precisely when every morphism has a dilator, equivalently when every morphism has a codilator. Chosen dilators are written
\[
(A \boxplus_r B, p_1, p_2),
\]
with corresponding chosen codilator legs \(i_1 = p_1^\dagger\) and \(i_2 = p_2^\dagger\). Dilators and codilators are unique up to isometric isomorphism, so the universal factorization is canonical at the dagger-theoretic level [2508.01146].

Conceptually, the dilator is the direct analogue of a tabulator in an allegory. The difference is that the ambient involution is now the dagger, and the representing span is required to use coisometries rather than ordinary maps.

## 4. Independence and epi-regularity

The map-side counterpart of a dilatory dagger category is an **independence category**. This is a category equipped with a predicate \(\perp\) on commutative squares
\[
\begin{tikzcd}[cramped]
X \arrow[r,"g"] \arrow[d,"f" swap] \arrow[dr, independent] & B \arrow[d,"v"]\\
A \arrow[r,"u" swap] & C
\end{tikzcd}
\]
satisfying axioms \((\mathrm{I}1)\)–\((\mathrm{I}5)\): independence implies commutativity, identity squares are independent, independence pastes, it is symmetric, and diagonal identity squares are independent [2508.01146].

An **independent pullback** of a cospan \((u,v)\) is then a span \((p_1,p_2)\) forming an independent square and terminal among all spans doing so. This replaces the ordinary pullback as the operation by which relation-like morphisms compose. An independence category is **epi-regular** when:

1. every cospan has an independent pullback;
2. every span has a \((\text{strong epic}, \text{ jointly monic})\) factorization;
3. every morphism is strong epic.

The resulting category of such structures is denoted
\[
\RegInd.
\]
The paper also gives an alternative characterization: an independence category is epi-regular iff every cospan has an independent pullback, every span has a \((\text{regular epic}, \text{ jointly monic})\) factorization, and every morphism is the coequaliser of its kernel pair [2508.01146].

These conditions are tailored to the motivating examples. They retain enough exactness to support relational calculus, while abandoning the requirement that the map-like morphisms form a regular category in the ordinary sense.

## 5. The equivalence with categories of relations

Given an epi-regular independence category \(C\), the paper constructs a dagger category \(\Rel(C)\). Its objects are those of \(C\), and a morphism \(X \to Y\) is an isomorphism class \([m_1,m_2]\) of jointly monic spans
\[
X \xleftarrow{m_1} M \xrightarrow{m_2} Y.
\]
The identity is
\[
1_X = [1_X,1_X],
\]
and the dagger is span reversal,
\[
[r_1,r_2]^\dagger = [r_2,r_1].
\]
Composition is defined by first taking an independent pullback of the middle legs and then a \((\text{strong epic}, \text{ jointly monic})\) factorization of the induced outer span [2508.01146].

Conversely, given a dilatory dagger category \(D\), the wide subcategory \(\Coisom(D)\) becomes an epi-regular independence category by declaring a square
\[
\begin{tikzcd}[cramped, sep=large]
X \arrow[r,"g"] \arrow[d,"f" swap] \arrow[dr, independent] & B \arrow[d,"v"]\\
A \arrow[r,"u" swap] & C
\end{tikzcd}
\]
independent exactly when
\[
uf = vg
\quad\text{and}\quad
gf^\dagger = v^\dagger u.
\]
In a dilatory dagger category, the second condition already implies commutativity, so independence can be checked by
\[
gf^\dagger = v^\dagger u.
\]
The paper proves that \(\Coisom(D)\) is epi-regular [2508.01146].

The main theorem is then the advertised equivalence
\[
\begin{tikzcd}[column sep=large]
\RegInd \ar[r, "\Rel", shift left=2] \ar[r, left adjoint] {} &
\DilDag \ar[l, "\Coisom", shift left=2]
\end{tikzcd}
\]
between epi-regular independence categories and dilatory dagger categories. On one side, a map-category is sent to its dagger category of relations; on the other, a dilatory dagger category is sent to its wide subcategory of coisometries [2508.01146].

## 6. Examples and broader significance

The motivating examples all fit the pattern that each morphism is represented by a span or cospan with special isometric or coisometric legs. Surjective multivalued functions are represented by jointly monic spans of surjective functions. Injective partial functions are represented by jointly epic cospans of injective functions. Finite probability spaces with measure-preserving stochastic matrices admit representations by spans of deterministic surjective maps, i.e. couplings. Hilbert spaces and linear contractions admit factorizations as cospans of isometries, reflecting the paper’s explicit connection with dilation theory [2508.01146].

What unifies these examples is not that they are merely dagger categories, but that their “function-like” subcategory is governed by universal dilations rather than by ordinary pullback-stable maps. The relation calculus is therefore encoded by coisometries and independent pullbacks, not by maps and regular pullbacks. This makes dilatory dagger categories a precise abstraction of relation categories whose representing legs are epi-like or coisometric rather than map-like in the classical allegorical sense.

The broader literature contains other constructions of dagger categories of relations. In particular, symmetric comparison relations and tame relations inside an involutive monoidal category yield dagger categories whose examples include partial injections, locally bifinite relations, bifinite multirelations, formal distributions, and Hilbert spaces with bounded linear maps [1101.1077]. This suggests that dilatory dagger categories belong to a wider program in which dagger structure is extracted from relation calculi rather than imposed as an isolated involution. Within that program, the distinct contribution of dilatory dagger categories is the exact analogue they provide to the classical regular-category/tabular-allegory correspondence.

Source: https://www.emergentmind.com/topics/dilatory-dagger-categories