[Berkeley Seminar] Evan Patterson | Collaborative modeling with domain-specific categorical logics
Автор: Topos Institute
Загружено: 2024-10-24
Просмотров: 673
Title: Collaborative modeling with domain-specific categorical logics: the early design of CatColab
Date: October 15, 2024
Abstract: Category theory is a toolbox to build and interoperate formal languages for a wide array of domains, from logic and programming to data science and statistics to science and engineering. Despite having transformative potential, this viewpoint is not yet widely appreciated outside of specialized research communities. We believe that category-theoretic modeling can become a mainstay if it is embodied in useful technologies that do not require their users to have specialized mathematical knowledge. To this end, we are building CatColab, a new platform for formal, interoperable, conceptual modeling within domain-specific categorical logics. In this talk, we describe our early progress on CatColab, focusing on the interplay between the mathematical foundation and its embodiment as a technology intended for human use.
https://topos.site/events/berkeley-se...
![[Berkeley Seminar] Evan Patterson | Collaborative modeling with domain-specific categorical logics](https://imager.clipsaver.ru/-RE0TiGdq5E/max.jpg)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![[Berkeley Seminar] David Espinosa: Monad translations compose](https://imager.clipsaver.ru/Snvwc4JVIYc/max.jpg)
![[2-torial] Owen tells Tim about elaborators for type theories](https://imager.clipsaver.ru/uBjuFDs-shw/max.jpg)
![[TopOx] Jakub Opršal: Homotopy theory in the complexity of homomorphism problems](https://imager.clipsaver.ru/fU2pZbrE2aA/max.jpg)
![[Семинар в Беркли] Бенджамин Браст Макки | Построение возможных миров](https://imager.clipsaver.ru/p-z4bhj7p-g/max.jpg)
