Alexander Kurz: Canonical Extensions of Quantale Enriched Categories

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

[Berkeley Seminar] William Troiani | Programs as Singularities

Category theory (2022-23): Lecture 1
▶︎

Category theory (2022-23): Lecture 1

Richard Blute: Quantum Finiteness Spaces
▶︎

Richard Blute: Quantum Finiteness Spaces

how to understand all of lie algebras with one picture
▶︎

how to understand all of lie algebras with one picture

But what is a convolution?
▶︎

But what is a convolution?

Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker
▶︎

Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker

1: Introduction to Neural Networks and Deep Learning; Training Deep NNs
▶︎

1: Introduction to Neural Networks and Deep Learning; Training Deep NNs

Reinventing Entropy | Compression is Intelligence Part 1
▶︎

Reinventing Entropy | Compression is Intelligence Part 1

Stefan Milius: Demystifying Codensity Monads via Duality
▶︎

Stefan Milius: Demystifying Codensity Monads via Duality

But what is a Laplace Transform?
▶︎

But what is a Laplace Transform?

But what is quantum computing? (Grover's Algorithm)
▶︎

But what is quantum computing? (Grover's Algorithm)

AlphaFold - The Most Useful Thing AI Has Ever Done
▶︎

AlphaFold - The Most Useful Thing AI Has Ever Done

تلاوة القرآن للدراسة والتركيز 📚🕛 | راحة وطمأنينة | Peaceful Focus Quran | محمد هشام
▶︎

تلاوة القرآن للدراسة والتركيز 📚🕛 | راحة وطمأنينة | Peaceful Focus Quran | محمد هشام

[TopOx] Steve Awodey: Path Types in Algebraic Type Theory
▶︎

[TopOx] Steve Awodey: Path Types in Algebraic Type Theory

Mathematik zum Anfassen! - Festvortrag Albrecht Beutelspacher
▶︎

Mathematik zum Anfassen! - Festvortrag Albrecht Beutelspacher

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

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

the true reason C++ always wins
▶︎

the true reason C++ always wins

Doku: Die geheime Welt des deutschen Adels
▶︎

Doku: Die geheime Welt des deutschen Adels

Isar Stubbe - Quantaloid enriched categories for sheaf theory (part 2)
▶︎

Isar Stubbe - Quantaloid enriched categories for sheaf theory (part 2)

But what is the Central Limit Theorem?
▶︎

But what is the Central Limit Theorem?