Decorated cospans are a framework for studying open systems invented by Brendan Fong. Since I’m now visiting the institute he and David Spivak set up—the Topos Institute—it was a great time to give a talk explaining the history of decorated cospans, their problems, and how those problems have been solved:
Structured vs Decorated Cospans
Abstract. One goal of applied category theory is to understand open systems: that is, systems that can interact with the external world. We compare two appr...
Published on July 29, 2021 08:47