  This introductory work combines bottom-up and top-down approaches towards
understanding the underlying categorical structure of possible unifying
theories descending from string theory. Guided by well-established developments
in the realm of categorical algebraic geometry, we explain why abelianisation
could potentially lead to furthering the understanding of how to embed Beyond
the Standard Model scenarios in supersymmetric setups.
