Relative Frobenius algebras are groupoids
Category Theory
2012-12-05 v2
Abstract
We functorially characterize groupoids as special dagger Frobenius algebras in the category of sets and relations. This is then generalized to a non-unital setting, by establishing an adjunction between H*-algebras in the category of sets and relations, and locally cancellative regular semigroupoids. Finally, we study a universal passage from the former setting to the latter.
Cite
@article{arxiv.1112.1284,
title = {Relative Frobenius algebras are groupoids},
author = {Chris Heunen and Ivan Contreras and Alberto S. Cattaneo},
journal= {arXiv preprint arXiv:1112.1284},
year = {2012}
}
Comments
15 pages