Learn AI, Data Science & Business — Earn Certificates That Get You Hired
AI Engineer - Learn how to integrate AI into software applications
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore category theory concepts in this advanced mathematics lecture that examines the relationship between cartesian and symmetric monoidal categories through natural transformations. Delve into the taxonomy created by relaxing naturality requirements, analyzing the progression from gs-monoidal and cd-categories to restriction and Markov categories. Learn how order-enriched categories connect through commutative monads and understand the structure of arrows in free categories generated by algebraic signatures. Gain insights into the mathematical folklore surrounding cartesian categories and their representation using diagonals and projections within symmetric monoidal frameworks.
Syllabus
Fabio Gadducci: "From gs-monoidal to cartesian categories: a structural analysis"
Taught by
Topos Institute