MATH-CS COMPASS Bridging Pure & Applied Mathematics

The Two Worlds of the Compass

Everything here is anchored by Section I (Linear Algebra to Algebraic Foundations) — the Core, where the common language of the whole site is established. It runs from the vectors and matrices of linear algebra, through the abstract structures of groups, rings, and fields, and up to the mathematics of continuous symmetry. Every later section speaks this language. From the Core, two great domains open up:

• The Discrete World — the realm of things that can be counted and steps that can be carried out one at a time. Section IV (Discrete Mathematics & Algorithms) studies graphs, logic, and the theory of computation, including its sharpest question: what a machine can and cannot decide at all. Two long arcs grow from it. Category theory is the language that names the single pattern behind every structure-preserving map. Cryptography is the field whose security was overturned by the quantum computer and then rebuilt on new, quantum-resistant mathematics.
• The Continuous World — the realm of smooth change and of quantities approached in the limit. Section II (Calculus to Optimization & Analysis) carries calculus into rigorous analysis and optimization, then spends its longer half rebuilding those tools on curved spaces: the surface of a sphere, the space of all rotations, the shapes data traces out in high dimensions. Its unifying thread is completeness, the guarantee that a space has no holes, which is what lets computation on continuous objects be principled rather than merely approximate.

The bridge between these two worlds is Section III (Probability & Statistics), where the counting of the discrete meets the integration of the continuous and the two turn out to be one idea. It is the mathematics of reasoning when the answer is uncertain, and the direct foundation of how machines learn from data.

All of this converges in Section V (Machine Learning). But this is less a final destination than a high vantage point: each topic is a place from which the tools built earlier can be seen working together, and from which the deeper mathematics still ahead comes into view. That is why the curriculum so often circles back, meeting an idea first as an application and only later building it properly from below. The clearest example is the geometry of learning itself — the principle that a good architecture is one built to respect the symmetries of its data — a path that can now be followed end to end. Other views, such as a compositional account of learning drawn from category theory, are only beginning to take shape.