2025/03/09 by Bertalan Pécsi, Pécsi, Bertalan
Computer Science · Decision Sciences · #18A32 #18C15 (Secondary) #20M50 (Primary) 20M17 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Fuzzy and Soft Set Theory #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2503.06711
openalex publication_date 2025/03/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/30
This paper touches on several interaction points of semigroups and constructions from category theory: An adjunction is established between categories with selected arrows and semigroups. Regular semigroups are characterized by split epi - split mono factorization of the Karoubi envelope. We investigate how semigroupads (monads without requirement of unit transformation) map semigroups to semigroups and ensure certain properties provided they hold on meta level.