Scott Viteri: Computation, communication, and ontology maps

Scott Viteri: Computation, communication, and ontology maps

50:18 |

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)"

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"

David Corfield: "Philosophical perspectives on category theory"

1:01:30

David Corfield: "Philosophical perspectives on category theory"

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

1:14:11

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

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

1:03:05

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

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

1:24:40

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

What is category theory?

10:32

What is category theory?

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

1:00:01

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

[Berkeley Seminar] Priyaa Srinivasan: Communicating Relational Thinking

52:49

[Berkeley Seminar] Priyaa Srinivasan: Communicating Relational Thinking

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"

Christine Tasson: "Semantics for Reactive Probabilistic Programming"

1:03:50

Christine Tasson: "Semantics for Reactive Probabilistic Programming"

Scott Viteri: Computation, communication, and ontology maps

50:19

Scott Viteri: Computation, communication, and ontology maps

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"

Valeria de Paiva: Network Mathematics for All

1:03:37

Valeria de Paiva: Network Mathematics for All

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

1:00:47

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

Steven Clontz: "Sociotechnical infrastructure for mathematics research"

1:08:11

Steven Clontz: "Sociotechnical infrastructure for mathematics research"

Mason Porter: "Topological Data Analysis of Spatial Systems"

1:00:16

Mason Porter: "Topological Data Analysis of Spatial Systems"