In this work we introduce some basic concepts within homotopy type theory (HoTT), a proposed alternative mathematical foundation to classical set theory. In particular, our discussion revolves around the Axiom of Choice (AC). In Part I, we introduce the classical AC and some of its most important equivalents. In Part...
We analyze some symmetries of the octonionic multiplication table, expressed in terms of the Fano plane. In particular, we count how many ways the Fano plane can be labeled as the octonionic multiplication table, all corresponding to a specified octonion algebra. We show that only 28 of these labelings of...