Pawel Sobocinski: "Electrical circuits with string diagrams"
Автор: Topos Institute
Загружено: 2022-12-01
Просмотров: 1678
Topos Institute Colloquium, 1st of December 2022.
———
One of the goals of applied category theory is to develop new mathematics for reasoning about open systems of various kinds. In this talk, I will introduce a string diagrammatic methodology for reasoning about and manipulating non-passive electrical circuits, which are a classical and well-known example of open system. This joint work with Guillaume Boisseau is, on the one hand, a rigorous, compositional, sound and complete equational calculus, while on the other hand, it retains elements of the intuitive, classical diagrammatic syntax for circuits. It is based on previous work on Affine Graphical Algebra, joint work with Bonchi, Piedeleu and Zanasi which I will first introduce.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![[TopOx] Jakub Opršal: Homotopy theory in the complexity of homomorphism problems](https://imager.clipsaver.ru/fU2pZbrE2aA/max.jpg)
![[Oxford Seminar] Matteo Capucci | A Taste of Quantitative Logic](https://imager.clipsaver.ru/JWfuuPr_ptU/max.jpg)
