Topos Institute is a mathematical and computer science research institution based on Berkeley California. It was founded by David Spivak and Brendan Fong.

Related Content

Content Link
Paper/Categorical Data Structures for Technical Computing
Video/Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoretic
Video/Compositional Intelligence
Video/Dana S. Scott: Seventy Years Using Fixed Points
Video/David Spivak: Categorical Databases
Video/Evan Patterson: Structured and Decorated Cospans from the Viewpoint of Double Category Theory
Video/Giuseppe Rosolini: Equality is Coalgebraic
Video/Jacques Carette: "What I learned from formalizing Category Theory in Agda"
Video/Kevin Buzzard: "What is the point of Lean's maths library?"
Video/Kris Brown: Combinatorial Representation of Scientific Knowledge
Video/Leo McElroy: Making Microworlds: A Framework for Making Sense by Making Things
Video/Mario Román: "Monoidal Streams"
Video/Nicolas Behr: "Fundamentals of Compositional Rewriting Theory"
Video/Owen Lynch: The Computer Algebra System of the Future
Video/Paolo Perrone: Kan extensions are partial colimits
Video/Seven Sketches in Compositionality
Video/Sophie Libkind: Happy Birthday AlgebraicDynamics!
Video/What is category theory?

Topos Institute