aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl

Inspired by our conversation with Emily Riehl on higher category theory, this aboutlogic: premises episode dives into the synthetic vs. analytic approach in mathematics. Deniz and Thorsten explore how Euclid’s geometry, category theory, and higher categories embody the synthetic approach. Focusing on abstract structures and relationships rather than concrete coordinates or definitions.