A blog discussing category theory, haskell, concurrency, and C++.
The Topos Institute
This institute works to shape technology for public benefit by advancing sciences of connection and integration.
Bartosz Milewski’s Programming Cafe
A blog discussing category theory, haskell, concurrency, and C++.
Monotone Co-Design Theory
Website describing a new mathematical theory of “monotone” co-design that helps in designing complex systems with many components that are functionally dependent on each other.
Categorical Databases
David Spivak explains categorical databases in a one-hour lecture.
Monotone Co-Design Theory
Website describing a new mathematical theory of “monotone” co-design that helps in designing complex systems with many components that are functionally dependent on each other.
Categorical Databases
David Spivak explains categorical databases in a one-hour lecture.
Catlab.jl
A framework for applied and computational category theory.
Engineering a Safer World
Nancy Leveson’s excellent book on rethinking safety based on system design.
Catlab.jl
A framework for applied and computational category theory.
Engineering a Safer World
Nancy Leveson’s excellent book on rethinking safety based on system design.
Seven Sketches in Compositionality
A 300-page PDF presenting applied category theory, by experts Brendan Fong and David Spivak.
Category Theory for the Sciences
David Spivak’s introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences.
Seven Sketches in Compositionality
A 300-page PDF presenting applied category theory, by experts Brendan Fong and David Spivak.
Category Theory for the Sciences
David Spivak’s introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences.
