{"id":"arxiv/2604.18346","url":"https://arxiv.org/abs/2604.18346","tags":["math.CT","math.GR"],"score":0,"title":"Implementing the biset category of finite groups","domain":"math.CT","source":"arxiv","authors":["Mohamed Barakat","Marc Talleux","Fabian Zickgraf"],"reviews":0,"subject":"math.CT","summary":"We describe an implementation of the biset category of finite groups as a tower of standard categorical constructions, all of which are implemented in the software project CAP for algorithmic category theory. In particular, we describe the composition of bisets as a composition in a Kleisli category of some biadjunction monad. This composition relies on the universal property of the coequalizer completion of a group viewed as a groupoid on one object. Expressing this universal property offers an elegant categorical interpretation of the Schreier-Sims orbit algorithm. Indeed, the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-20","reactions":{}}