Semigroup and Category-Theoretic Approaches to Partial Symmetry
Alistair R. Wallis

TL;DR
This thesis explores partial symmetry through semigroup and category theory, establishing new connections between self-similar group actions, HNN-extensions, and operator K-theory, with implications for fractals and algebraic structures.
Contribution
It introduces novel categorical frameworks linking partial symmetries, self-similar actions, and HNN-extensions, and develops a functor connecting inverse semigroups with abelian groups.
Findings
Rees monoids are monoid HNN-extensions.
Self-similar group actions generate specific monoids from fractals.
The K-functor relates inverse semigroup categories to abelian groups, matching known K-theory groups.
Abstract
This thesis is about trying to understand various aspects of partial symmetry using ideas from semigroup and category theory. In Chapter 2 it is shown that the left Rees monoids underlying self-similar group actions are precisely monoid HNN-extensions. In particular it is shown that every group HNN-extension arises from a self-similar group action. Examples of these monoids are constructed from fractals. These ideas are generalised in Chapter 3 to a correspondence between left Rees categories, self-similar groupoid actions and category HNN-extensions of groupoids, leading to a deeper relationship with Bass-Serre theory. In Chapter 4 of this thesis a functor between the category of orthogonally complete inverse semigroups and the category of abelian groups is constructed in two ways, one in terms of idempotent matrices and the other in terms of modules over inverse semigroups, and…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Operator Algebra Research · Computability, Logic, AI Algorithms · semigroups and automata theory
