2021-09-23: Jade Master (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Jade Master (MSP)

Building the behavior of graphs compositionally

Abstract

The free category on a graph may be understood as an operational semantics. The objects of this free category represent states and the morphisms represent possible sequences of events which may occur. How can this operational semantics be built from smaller components? We will see how gluing graphs together is the composition of category and how the operational semantics of graphs extends to a functor on this category. Blackboxing is a process which takes a system and focuses only the relationship it induces between its inputs and outputs. In this talk we will explain how blackboxing is almost a functor, and how the categorical framework developed so far gives insight into computation.

2021-09-23 15:00:00 UTC
Online