filmov
tv
Evan Patterson: (Co)relational computing in CatLab: The operad of UWDs and its algebras
Показать описание
MIT Category Theory Seminar
2020/12/10
©Spifong
Speaker: Evan Patterson
Title: (Co)relational computing in CatLab: The operad of UWDs and its algebras
Abstract:
The operad of undirected wiring diagrams and its algebras model systems that compose in an undirected style. We explain these ideas informally and show how they are implemented in Catlab, a framework for applied category theory written in the Julia programming language. The abstract notions are illustrated by the examples of tensor networks and pixel arrays, conjunctive queries on relational databases, and open systems as modeled by structured cospans.
More videos:
Main page:
2020/12/10
©Spifong
Speaker: Evan Patterson
Title: (Co)relational computing in CatLab: The operad of UWDs and its algebras
Abstract:
The operad of undirected wiring diagrams and its algebras model systems that compose in an undirected style. We explain these ideas informally and show how they are implemented in Catlab, a framework for applied category theory written in the Julia programming language. The abstract notions are illustrated by the examples of tensor networks and pixel arrays, conjunctive queries on relational databases, and open systems as modeled by structured cospans.
More videos:
Main page:
0:59:34
0:50:31
1:02:48
1:03:56
1:12:12
1:09:31
0:31:55
1:39:23
1:17:18
0:00:22
0:51:53
0:41:58
0:40:11
0:21:13
0:03:58
1:03:20
0:10:33
1:20:04
0:50:18
2:21:16
1:03:17
7:57:59
1:24:15
0:08:05