Instances of Models of Double-Categorical Theories

Learn about instances of models of double-categorical theories in this 90-minute tutorial where Kevin Carlson explains his recent research paper co-authored with Evan Patterson to David and Jason at the Topos Institute. Explore the fundamental concepts of what instances are in the context of double-categorical theories and discover why these mathematical structures are particularly interesting and significant in category theory. Gain insights into advanced categorical concepts through an accessible discussion format that breaks down complex theoretical material into understandable explanations.