2021/12/06 by Laurent Poinsot, Poinsot, Laurent, Hans-E. Porst +1
Mathematics · #Algebraic Geometry and Number Theory #Category Theory (math.CT) #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology
paper · doi:10.48550/arxiv.2112.02873
openalex publication_date 2021/12/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The process of replacing an arbitrary Boolean function by a bijective one, a fundamental tool in reversible computing and in cryptography, is interpreted algebraically as a particular instance of a certain group homomorphism from the X-fold cartesian power of a group G into the automorphism group of the free G-set over the set X. It is shown that this construction not only can be generalized from groups to monoids but, more generally, to internal categories in arbitrary finitely complete categories where it becomes a cartesian isomorphism between certain discrete fibrations.