dmitry vagner: wiring diagrams as normal forms for computing in symmetric monoidal categories
Published 4 years ago • 773 plays • Length 28:04Download video MP4
Download video MP3
Similar videos
-
30:43
introduction to diagrammatics - dmitry vagner
-
59:52
session 22 cmpt898 -- wiring diagrams and symmetric monoidal categories
-
1:16:50
act@ucr seminar: systems as wiring diagram algebras - christina vasilakopoulou
-
33:49
brendan fong: supplying bells and whistles in symmetric monoidal categories, part 1
-
20:04
closed symmetric monoidal categories: definition and examples
-
23:54
john nolan: symmetric monoidal categories with attributes
-
18:15
sean tull: monoidal categories for formal concept analysis
-
5:32
multicategory – vldb'21 demo
-
1:00:16
daniel tubbenhauer: representations of monoidal categories
-
51:48
justin barhite - dualizability and trace in symmetric monoidal categories
-
56:38
monoidal categories
-
1:32:32
2021-11-30 ehud meir interpolations of monoidal categories by invariant theory
-
25:28
alexis toumi: discopy: monoidal categories in python
-
10:04
hu - formal category theory with profunctor string diagrams