Structured and Decorated Cospans from Double Category Theory

Learn about structured and decorated cospans through the lens of double category theory in this 32-minute lecture presented at the Topos Institute. Explore key concepts in category theory including open systems modeling, double categories, national transformations, and cocartesian examples. Delve into structured cospans, cartesian and coartesian double categories, and examine the Groton deconstruction through a double categorical perspective. Master fundamental mathematical concepts that bridge category theory with practical applications in systems modeling.