ACT@UCR Seminar: Systems as Wiring Diagram Algebras - Christina Vasilakopoulou скачать в хорошем качестве

ACT@UCR Seminar: Systems as Wiring Diagram Algebras - Christina Vasilakopoulou

We will describe the monoidal category of labeled boxes and wiring diagrams and its induced operad. Various kinds of systems such as discrete and continuous dynamical systems have been expressed as algebras for that operad, namely lax monoidal functors into the category of categories. A major advantage of this approach is that systems can be composed to form a system of the same kind, completely determined by the specific way the composite systems are interconnected (‘wired’ together). We will elaborate on the compositional machinery by a few examples of Moore machines and their explicit composition. This talk is part of the Applied Category Theory at U. C. Riverside Seminar: https://johncarlosbaez.wordpress.com/... Edited by Paola Fernandez