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

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

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

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

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

▶︎
Türkei – USA Highlights | Gruppe D, FIFA WM 2026 | sportstudio
![[Berkeley Seminar] William Troiani | Programs as Singularities](https://i.ytimg.com/vi/3DwkYrleuLU/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4AboJgALQBYoCDAgAEAEYZSBlKGUwDw==&rs=AOn4CLAFcDfRieg2XXAU4Vpi8bHGUvwgxw)
▶︎
[Berkeley Seminar] William Troiani | Programs as Singularities

▶︎
Yann LeCun: World Models: Enabling the next AI revolution
![[Berkeley Seminar] Nelson Niu | A Categorical Framework for Coherence Theorems](https://i.ytimg.com/vi/0R_P_as6gIk/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4JgALQBYoCDAgAEAEYWyBbKFswDw==&rs=AOn4CLCtbI39GAsl-iIKRx71uhgH3-zgDQ)
▶︎
[Berkeley Seminar] Nelson Niu | A Categorical Framework for Coherence Theorems

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

▶︎
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

▶︎
Analogy as the Core of Cognition

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

▶︎
William Dunham, A tribute to Euler

▶︎
The Problem That Won’t Let You Go
![Yann LeCun's $1B Bet Against LLMs [Part 1]](https://i.ytimg.com/vi/kYkIdXwW2AE/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLDbV4izF3i-wxevCVIn7FJjoy1vlA)
▶︎
Yann LeCun's $1B Bet Against LLMs [Part 1]

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

▶︎
Tim Koslowski -- A geometric approach to Shape Dynamics
![[2-torial] Toposes: from topological spaces to databases](https://i.ytimg.com/vi/mNFibqlr_Bk/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLC1r5zEDL88u7fBHdycH731xKm5ug)
▶︎
[2-torial] Toposes: from topological spaces to databases

▶︎
