Applied Category Theory. Chapter 1, lecture 1 (Spivak) @ToposInstitute
Applied Category Theory. Chapter 1, lecture 1 (Spivak)  @ToposInstitute
Updated September 2026, 6 days ago
Applied Category Theory. Chapter 1, lecture 1 (Spivak)[Oxford Seminar] Paolo Perrone | Descent in Probability Theory: the first steps downward[Oxford Seminar] B. Scot Rousse | Who cares about values?Barbara König: Behavioural Metrics via Functor Lifting – A Coalgebraic ApproachJason Gross: Compact Proofs: Measuring Quality of Understanding with a Compression-Based MetricJuergen Jöst: Geometric principles of data visualizationBerkeley Seminar: David Jaz Myers, 8/7/2023[Berkeley Seminar] Brendan Fong | Processes of Production of AbstractionAlex Kavvos: Two-dimensional Kripke Semantics[Oxford Seminar] David Jaz Myers | Compositionality via 2-algebraAstra Kolomatskaia: Towards higher-dimensional syntax[DOTS Lectures] 8. Compositionality of behaviours: generalized Moore machine case
Topos Institute |

Applied Category Theory. Chapter 1, lecture 1 (Spivak)

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER