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…