The representation theory of profinite algebras: Interactions with category theory, algebraic topology and compact groups