David Spivak: Wanted: an Org^m enriched operad

Title: Wanted: an Org^m enriched operad Speaker: David Spivak Topos Institute Berkeley Seminar May 8, 2023

Join Today
Brandon Shapiro: Chain complexes of sets, homology made simple
▶︎

Brandon Shapiro: Chain complexes of sets, homology made simple

Introduction to operads William Dwyer (University of Notre Dame)
▶︎

Introduction to operads William Dwyer (University of Notre Dame)

Stephen Mell: Linear Logic is a Language for Structured Data
▶︎

Stephen Mell: Linear Logic is a Language for Structured Data

Angeline Aguinaldo: Diary of a software engineer using categories
▶︎

Angeline Aguinaldo: Diary of a software engineer using categories

Türkei – USA Highlights | Gruppe D, FIFA WM 2026 | sportstudio
▶︎

Türkei – USA Highlights | Gruppe D, FIFA WM 2026 | sportstudio

[Berkeley Seminar] William Troiani | Programs as Singularities
▶︎

[Berkeley Seminar] William Troiani | Programs as Singularities

Yann LeCun: World Models: Enabling the next AI revolution
▶︎

Yann LeCun: World Models: Enabling the next AI revolution

[Berkeley Seminar] Nelson Niu | A Categorical Framework for Coherence Theorems
▶︎

[Berkeley Seminar] Nelson Niu | A Categorical Framework for Coherence Theorems

Four Ways of Thinking: Statistical, Interactive, Chaotic and Complex - David Sumpter
▶︎

Four Ways of Thinking: Statistical, Interactive, Chaotic and Complex - David Sumpter

Is Putin Losing His Grip on Russia? | Steve Rosenberg
▶︎

Is Putin Losing His Grip on Russia? | Steve Rosenberg

Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn’t 1.0 - Andrew Kelley Explains
▶︎

Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn’t 1.0 - Andrew Kelley Explains

Analogy as the Core of Cognition
▶︎

Analogy as the Core of Cognition

Joe Moeller: Hybrid systems as coalgebras: Lyapunov morphisms for Zeno stability
▶︎

Joe Moeller: Hybrid systems as coalgebras: Lyapunov morphisms for Zeno stability

William Dunham, A tribute to Euler
▶︎

William Dunham, A tribute to Euler

The Problem That Won’t Let You Go
▶︎

The Problem That Won’t Let You Go

Yann LeCun's $1B Bet Against LLMs [Part 1]
▶︎

Yann LeCun's $1B Bet Against LLMs [Part 1]

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
▶︎

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

Tim Koslowski -- A geometric approach to Shape Dynamics
▶︎

Tim Koslowski -- A geometric approach to Shape Dynamics

[2-torial] Toposes: from topological spaces to databases
▶︎

[2-torial] Toposes: from topological spaces to databases

The Hardest Questions in Physics | World Science Festival
▶︎

The Hardest Questions in Physics | World Science Festival