Circuit Composition in Haskell using Category Theory by Pieter Staal, Master student Embedded Systems

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.