Unavoidable Mathematics - Exploring Derived Concepts from Simple Theories

Explore the fundamental concepts that arise naturally from basic mathematical constructions in this 34-minute lecture by Jaques Carette. Delve into the unexpected richness of simple theories, examining how Universal Algebra and Category Theory lead to a wealth of derived mathematical and computer science concepts. Discover how even elementary theories can produce scarcely known material and give rise to contemporary mathematical interests such as containers, lenses, and inhabited spaces. Investigate the subtle issues that emerge, including setoids and decidability, and gain insight into the complex tapestry of concepts that exist at the "low Kolmogorov complexity" end of theory exploration. Uncover the surprising depth and interconnectedness of mathematical structures in this thought-provoking presentation from the Hausdorff Center for Mathematics.