Relative Frobenius algebras are groupoids (1112.1284v2)
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.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.