filmov
tv
“Applied Category Theory Graph-Operad-Logic”
Показать описание
Category Theory, Graphs, Logic
UNAM Canal 02
Рекомендации по теме
3:22:41
“Applied Category Theory Graph-Operad-Logic”
3:39:24
“Applied Category Theory Graph-Operad-Logic”
2:38:30
“Applied Category Theory Graph-Operad-Logic”
3:27:43
“Applied Category Theory Graph-Operad-Logic”
3:25:36
“Applied Category Theory Graph-Operad-Logic”
3:12:41
“Applied Category Theory Graph-Operad-Logic”,
3:37:16
“Applied Category Theory Graph-Operad-Logic”,
2:29:31
“Applied Category Theory Graph-Operad-Logic”
2:39:23
“Applied Category Theory Graph-Operad-Logic”,
2:23:00
“Applied Category Theory Graph-Operad-Logic”
1:52:08
“Applied Category Theory Graph-Operad-Logic”,
2:38:55
“Applied Category Theory Graph-Operad-Logic”, Professor Zbigniew Oziewicz in memoriam
0:15:48
What are...operads?
1:02:48
Evan Patterson: Realizing Applied Category Theory in Julia
0:24:51
Applied Category Theory • Ken Scambler • YOW! 2019
0:59:34
Evan Patterson: (Co)relational computing in CatLab: The operad of UWDs and its algebras
0:58:16
Marcy Robertson: 'Topological Inspiration for Infinity Modular Operads'
1:46:40
GReTA seminar #20: 'GReTA-ExACT: towards Executable Applied Category Theory'
0:37:25
Nicolas Blanco: Bifibrations of Polycategories and Classical Linear Logic
0:50:47
Applied Category Theory. Chapter 4, lecture 1 (Spivak)
3:30:29
ACT 2021 - Day 2, Sessions 3 - 4
1:12:14
Joachim Kock: The incidence comodule bialgebra of the Baez-Dolan construction
0:43:27
ACT 2021 - Day 2, Session 1
0:18:38
Seven Sketches in Compositionality: Lecture 6.1