Universal Dynamics of Generation & Collapse

MathBasics is an interactive, client-side category theory playground designed to demystify the core concept of Adjunctions. It visualizes the universal dynamics of Free Functors (structure generation) and Forgetful Functors (structure collapse) through the classic adjunction between Sets and Monoids. Users can interactively generate free monoids from discrete sets and observe how structured algebraic data dissolves back to its underlying set. It also simulates the Unit and Counit mapping, helping developers, mathematicians, and learners build intuition for universal properties, limits, and functors.