Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Join a Berkeley seminar exploring the visual language of dependent categories through an innovative approach called Color Logic. Discover how complex mathematical concepts in category theory can be represented through colors, strings, and beads within a bifibrant double category framework. Learn about the systematic organization of category theory fundamentals using proarrow equipment and framed bicategory, presented in an accessible three-part narrative that requires no prior mathematical background. Delve into the fascinating three-dimensional expansion of this visual language, where transformations between double profunctors are represented as "flows" between beads. Examine the unique properties of double categories with their two distinct types of profunctors, and understand the potential research opportunities this novel approach presents for category theory education and research.
