Evan Patterson - Structured and decorated cospans from the viewpoint of double category theory

  Рет қаралды 140

Applied Category Theory

Applied Category Theory

Күн бұрын

Пікірлер
Vincent Wang - Constructor Theory as Process Theory
25:49
Vincent Wang - Constructor Theory as Process Theory
Applied Category Theory
Рет қаралды 820
David Jaz Myers - Topological Quantum Gates in Homotopy Type Theory
27:55
David Jaz Myers - Topological Quantum Gates in Homotopy Type Theory
Applied Category Theory
Рет қаралды 318
Smart Parenting Gadget for a Mess-Free Mealtime 🍽️👍 #parenting #gadgets #asmr
00:33
Smart Parenting Gadget for a Mess-Free Mealtime 🍽️👍 #parenting #gadgets #asmr
Coo-Cool Reacts!
Рет қаралды 11 МЛН
Trapped by the Machine, Saved by Kind Strangers! #shorts
00:21
Trapped by the Machine, Saved by Kind Strangers! #shorts
Fabiosa Best Lifehacks
Рет қаралды 40 МЛН
Players vs Pitch 🤯
00:26
Players vs Pitch 🤯
LE FOOT EN VIDÉO
Рет қаралды 128 МЛН
They Chose Kindness Over Abuse in Their Team #shorts
00:20
They Chose Kindness Over Abuse in Their Team #shorts
I migliori trucchetti di Fabiosa
Рет қаралды 12 МЛН
David Spivak - All Concepts are Cat#
31:44
David Spivak - All Concepts are Cat#
Applied Category Theory
Рет қаралды 860
Matteo Capucci - Constructing triple categories of cybernetic processes
28:23
Matteo Capucci - Constructing triple categories of cybernetic processes
Applied Category Theory
Рет қаралды 205
@Microsoft AI CEO Mustafa Suleyman x Times Techies | An exclusive interaction | #copilot
18:45
@Microsoft AI CEO Mustafa Suleyman x Times Techies | An exclusive interaction | #copilot
Times Techies
Рет қаралды 26 М.
Sean Tull - Active Inference in String Diagrams
30:12
Sean Tull - Active Inference in String Diagrams
Applied Category Theory
Рет қаралды 239
Generative Model That Won 2024 Nobel Prize
33:04
Generative Model That Won 2024 Nobel Prize
Artem Kirsanov
Рет қаралды 216 М.
What A General Diagonal Argument Looks Like (Category Theory)
36:10
What A General Diagonal Argument Looks Like (Category Theory)
Thricery
Рет қаралды 82 М.
Tyler Hanks - A Compositional Framework for Convex Model Predictive Control
26:59
Tyler Hanks - A Compositional Framework for Convex Model Predictive Control
Applied Category Theory
Рет қаралды 225
Microservices are Technical Debt
31:59
Microservices are Technical Debt
NeetCodeIO
Рет қаралды 633 М.
Category Theory in Life - Eugenia Cheng
40:39
Category Theory in Life - Eugenia Cheng
Lambda World
Рет қаралды 102 М.
GraphRAG: The Marriage of Knowledge Graphs and RAG: Emil Eifrem
19:15
GraphRAG: The Marriage of Knowledge Graphs and RAG: Emil Eifrem
AI Engineer
Рет қаралды 62 М.
Smart Parenting Gadget for a Mess-Free Mealtime 🍽️👍 #parenting #gadgets #asmr
00:33
Smart Parenting Gadget for a Mess-Free Mealtime 🍽️👍 #parenting #gadgets #asmr
Coo-Cool Reacts!
Рет қаралды 11 МЛН