自由関手と忘却関手が生み出す普遍性

MathBasics は、現代数学の根底を支える「随伴（Adjunction）」の概念を直感的に理解するための対話型ビジュアライザーです。「集合（Sets）の圏」と「モノイド（Monoids）の圏」を例に取り、自由関手 F（構造の生成）と忘却関手 U（構造の崩壊）が織りなす普遍的性質のダイナミクスを可視化します。離散的な点から自由モノイドを生成し、その構造を崩壊させることで、随伴の「単位（Unit）」および「余単位（Counit）」の動きがダイナミックに変化する様子をシミュレートでき、圏論的な思考法を直感的に学習できます。