Spencer Breiner: "Polynomial Interfaces"

Spencer Breiner: "Polynomial Interfaces"

01:15:50 |

Related Videos

Chris Fields: "What is the Identity operator?"

1:00:10

Chris Fields: "What is the Identity operator?"

Steve Vickers: "The Fundamental Theorem of Calculus: point-free"

1:11:35

Steve Vickers: "The Fundamental Theorem of Calculus: point-free"

Will Crichton: "How to Make Mathematicians Into Programmers (And Vice Versa)"

1:10:50

Will Crichton: "How to Make Mathematicians Into Programmers (And Vice Versa)"

David Corfield: "Philosophical perspectives on category theory"

1:01:30

David Corfield: "Philosophical perspectives on category theory"

Filippo Bonchi: "Diagrammatic Algebra of First Order Logic"

1:06:21

Filippo Bonchi: "Diagrammatic Algebra of First Order Logic"

Spencer Breiner: "Polynomial Interfaces"

1:15:50

Spencer Breiner: "Polynomial Interfaces"

André Joyal: "Higher topos theory and Goodwillie Calculus"

1:14:11

André Joyal: "Higher topos theory and Goodwillie Calculus"

John Cartmell: "Aspects of a Mathematical Theory of Data"

1:24:40

John Cartmell: "Aspects of a Mathematical Theory of Data"

Brendan Fong: "Welcome to Topos"

12:35

Brendan Fong: "Welcome to Topos"

Nicola Gambino: "Monoidal bicategories, differential linear logic, and analytic functors"

1:03:05

Nicola Gambino: "Monoidal bicategories, differential linear logic, and analytic functors"

What is category theory?

10:32

What is category theory?

[Berkeley Seminar] Priyaa Srinivasan: Communicating Relational Thinking

52:49

[Berkeley Seminar] Priyaa Srinivasan: Communicating Relational Thinking

Edward Lee: "Certainty or Intelligence: Pick One!"

1:00:01

Edward Lee: "Certainty or Intelligence: Pick One!"

Gioele Zardini: "Co-Design of Complex Systems: From Autonomy to Future Mobility"

1:00:49

Gioele Zardini: "Co-Design of Complex Systems: From Autonomy to Future Mobility"

Arthur J Parzygnat: "A generalization of inversion using Bayes' rule with applications to quantum"

59:29

Arthur J Parzygnat: "A generalization of inversion using Bayes' rule with applications to quantum"

[Berkeley Seminar] CB Aberle: All Concepts are Essentially Algebraic

1:00:47

[Berkeley Seminar] CB Aberle: All Concepts are Essentially Algebraic

What are we tracking? How Applied Category Theory puts thinking on rails

52:00

What are we tracking? How Applied Category Theory puts thinking on rails

Jeremy Avigad: "Formal mathematics, dependent type theory, and the Topos Institute"

1:01:15

Jeremy Avigad: "Formal mathematics, dependent type theory, and the Topos Institute"

Valeria de Paiva: Network Mathematics for All

1:03:37

Valeria de Paiva: Network Mathematics for All

Christine Tasson: "Semantics for Reactive Probabilistic Programming"

1:03:50

Christine Tasson: "Semantics for Reactive Probabilistic Programming"