Symmetry is a recurring concept in both Science and Art. Upon hearing the term, one initially tends to think of rotations and reflections found in Geometry. However, if we recall that, formally, the symmetries of a geometric shape are just the distance preserving bijections , then we see that this idea naturally generalises from Geometry to virtually all areas of Mathematics: The symmetries of any kind of mathematical object are the bijections which preserve the structure of .>
>
For example, the symmetries of a graph, group, or vector space are its automorphisms and the symmetries of a topological space its homeomorphisms. In each case, the symmetries of form a subgroup of the symmetric group of all permutations of . By Cayley's Theorem, all groups are isomorphic to subgroups of symmetric groups, and so Group Theory is essentially the study of symmetries.>
>
There are two widely-studied and natural generalisations of the concept of symmetry above which correspond to generalisations of groups to semigroups and inverse semigroups, respectively. First, one might drop the requirement that symmetries need to be invertible. For example, one might consider all continuous transformations of some topological space . This takes us from subgroups of to subsemigroups of the Full Transformation Monoid of all functions from to .>
>
Alternatively, one might be interested not just in the symmetries of the whole structure , but also in partial symmetries, i.e. symmetries between substructures of . This approach takes us to studying inverse subsemigroups of the Symmetric Inverse Monoid consisting of all bijections between subsets of .>
>
In this talk, we will consider , , and on an infinite set . I will present a variety of results which highlight the connections between semigroups (including groups and inverse semigroups) on the one hand and Set Theory, Model Theory, and Topology on the other. No previous knowledge of Semigroup Theory will be assumed. (slides)>