Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...

This post was co-authored with Professor John Vervaeke 1. Thinking, Fast and Slow is one of the great books written on cognition and decision making. In a clear and accessible fashion, it made popular ...

String theory attempts to unify all forces and particles in the universe using vibrating strings. It aims to explain the Standard Model of particle physics, which is incomplete. String theory predicts ...

But what does game theory look like in practice? What kinds of ‘games’ fall under this concept, and how do they enhance our understanding of strategic behavior in real-life situations? In this article ...