filmov
tv
Evan Patterson: Realizing Applied Category Theory in Julia
Показать описание
MIT Category Theory Seminar
2020/01/16
©Spifong
Title: Realizing Applied Category Theory in Julia
2020/01/16
©Spifong
Title: Realizing Applied Category Theory in Julia
Evan Patterson: Realizing Applied Category Theory in Julia
1:12:12
Evan Patterson: The algebra of statistical theories and models
0:59:34
Evan Patterson: (Co)relational computing in CatLab: The operad of UWDs and its algebras
0:57:02
Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical Logic
1:03:56
Evan Patterson: 'Categories of diagrams in data migration and computational physics'
1:07:36
Evan Patterson: The algebra of statistical theories and models
0:22:00
John Baez - Categories: the Mathematics of Connection - IPAM at UCLA
0:51:53
Evan Patterson: Domain specific Logics for Scientific Modeling Theory and Practice
0:23:00
Evan Patterson: 'A Short Introduction to Categorical Logic'
1:06:13
Applied Category Theory
1:09:31
Micah Halter and Evan Patterson: Compositional epidemiological modeling using structured cospans
0:40:11
James Fairbanks: Compositional Scientific Computing with Catlab and SemanticModels
0:28:04
Dmitry Vagner: Wiring diagrams as normal forms for computing in symmetric monoidal categories
0:31:55
Episode 4 - Evan Patterson - From LinkedIn trolls to vetting prospective employers
3:39:24
“Applied Category Theory Graph-Operad-Logic”
0:41:58
Interview With Evan Patterson
0:00:38
Why greatest Mathematicians are not trying to prove Riemann Hypothesis? || #short #terencetao #maths
0:15:55
Applied Category Theory Conversation, Sept 2022
0:21:25
A Categorical Semantics for Guarded Petri Nets
0:52:00
What are we tracking? How Applied Category Theory puts thinking on rails
0:59:58
MuniHac 2020: Johannes Drever - An Introduction to Applied Category Theory
1:17:44
Shaowei Lin: 'Proofs as programs: challenges and strategies for program synthesis'
3:30:29
ACT 2021 - Day 2, Sessions 3 - 4
0:50:57
Applied Category Theory. Chapter 5, lecture 1 (Spivak)
Комментарии