Some of the team discuss Category Theory, the common language we use to connect different areas of mathematics and to represent our system independently of implementation. It helps us to spot nice structures, enabling us to build a robust system.