Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a comprehensive report on the formalization of polynomial functors presented by Sina Hazratpour from the Hausdorff Center for Mathematics. Delve into the intricate mathematical concepts and theoretical foundations surrounding polynomial functors, gaining insights into their formalization process and applications. Learn about the challenges faced during the formalization and the innovative approaches used to overcome them. Discover the implications of this work for various fields of mathematics and computer science, including category theory, type theory, and formal verification. Engage with advanced mathematical ideas and cutting-edge research in this 48-minute presentation, suitable for graduate students, researchers, and professionals interested in the intersection of category theory, formal methods, and functional programming.
