Pages that link to "Topos Institute"
Jump to navigation
Jump to search
The following pages link to Topos Institute:
Displayed 23 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Video/David Spivak: Categorical Databases (← links)
- David Spivak (← links)
- Brendan Fong (← links)
- Category:Topos Institute (← links)
- Video/Compositional Intelligence (← links)
- Video/Paolo Perrone: Kan extensions are partial colimits (← links)
- Video/Leo McElroy: Making Microworlds: A Framework for Making Sense by Making Things (← links)
- Video/Sophie Libkind: Happy Birthday AlgebraicDynamics! (← links)
- Video/Kris Brown: Combinatorial Representation of Scientific Knowledge (← links)
- Video/Kevin Buzzard: "What is the point of Lean's maths library?" (← links)
- Video/Mario Román: "Monoidal Streams" (← links)
- Video/Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoretic (← links)
- Video/Seven Sketches in Compositionality (← links)
- Applied Category Theory (← links)
- Video/Nicolas Behr: "Fundamentals of Compositional Rewriting Theory" (← links)
- Video/Giuseppe Rosolini: Equality is Coalgebraic (← links)
- Video/What is category theory? (← links)
- Video/Jacques Carette: "What I learned from formalizing Category Theory in Agda" (← links)
- Video/Dana S. Scott: Seventy Years Using Fixed Points (← links)
- Video/Evan Patterson: Structured and Decorated Cospans from the Viewpoint of Double Category Theory (← links)
- Video/Owen Lynch: The Computer Algebra System of the Future (← links)
- Owen Lynch (← links)
- Paper/Categorical Data Structures for Technical Computing (← links)