Abstract: Composing electronic circuits by connecting their open terminals is a very intuitive process. It turns out this intuitive process can be formalized through some complex constructions in category theory. To gain a better understanding of this formalism a Haskell implementation was constructed. This talk will show that there are good reasons to take such a roundabout approach of formalizing a process via category theory.
Thursday 16 September 2021 15:45 - 16:30