Categories, Axioms, and Constructions in SageMath - Modeling Mathematics for Fun and Profit

Explore the fascinating world of mathematical modeling in SageMath through this engaging lecture by Nicolas Thiéry. Delve into the concepts of categories, axioms, and constructions as Thiéry demonstrates how to effectively model mathematical structures for both enjoyment and practical applications. Gain insights into the powerful capabilities of SageMath and learn how to leverage its features to represent complex mathematical ideas. Discover the intersection of abstract mathematics and computational tools, and understand how these principles can be applied to solve real-world problems.

Nicolas Thiéry: Categories, axioms, constructions in SageMath: Modeling mathematics for fun/profit