Скачать с ютуб видео Pawel Sobocinski:

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Pawel Sobocinski: "Electrical circuits with string diagrams" в качестве 4k

У нас вы можете посмотреть бесплатно Pawel Sobocinski: "Electrical circuits with string diagrams" или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

Информация по загрузке:

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Pawel Sobocinski: "Electrical circuits with string diagrams" в формате MP3:

Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса ClipSaver.ru

Pawel Sobocinski: "Electrical circuits with string diagrams"

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.

Comments