3 citations · 4 across the 2 of their papers we have counts for
2 papers
math.CT2025★ 1 cited
Dagger categories of relations: The equivalence of dilatory dagger categories and epi-regular independence categories
Matthew Di Meglio, Chris Heunen, Jean-Simon Pacaud Lemay +2
Several categories look like categories of relations, but do not fit the established theory of relations in regular categories. They include the category of surjective multivalued…
math.CT2022★ 3 cited
Coequalisers under the Lens
Matthew Di Meglio
Lenses encode protocols for synchronising systems. We continue the work begun by Chollet et al. at the Applied Category Theory Adjoint School in 2020 to study the properties of the…