afac839c1cd2237c.tex
1: \begin{abstract}
2: %For some reason the first character doesn't show in the abstract. The extra "s" is a soft fix.
3:     s We undertake the study of profinite quandles. A quandle $(Q, \triangleleft)$ is a set $Q$ with a operation $\triangleleft$ that satisfies idempotency, right invertibility, and right self-distributivity axioms. Profinite quandles are inverse limits of inverse systems of finite quandles and are closely related to profinite groups. As with all profinite models of algebraic theories, they are naturally equipped with the structure of a Stone space, with respect to which structure their operations are continuous. We provide several constructions of profinite quandles from profinite groups, and from other profinite quandle.  We characterize which subquandles of profinite quandles are again profinite. Finally, we provide a characterization of algebraically connected profinite quandles in terms of the profinite completion of their inner automorphism groups $\widehat{\Inn(Q)}$. It is anticipated that the results herein will find applications to the \'{e}tale homotopy theory of number fields.
4: \end{abstract}
5: