Topos Institute Courses

Who Cares About Values? - Rethinking Human Values and Technology Through the Lens of Care

Explore the evolution of "human values" in technology design and discover how "care" offers a more nuanced framework for our relationship with technology than traditional value alignment.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

Composing Moore Machines - DOTS Lectures 4

Explore advanced mathematical frameworks for composing Moore machines using double operadic theory in systems modeling and categorical approaches.

• YouTube
• 1 hour 14 minutes
• Self-Paced
• Free Video

More Categories of Systems - DOTS Lectures 2

Explore advanced categorical structures in the Double Operadic Theory of Systems through David Jaz Myers' comprehensive mathematical framework.

• YouTube
• 57 minutes
• Self-Paced
• Free Video

Moore Machines - DOTS Lectures 3

Explore Moore machines within the Double Operadic Theory of Systems framework, examining state-based computational models and their mathematical foundations.

• YouTube
• 48 minutes
• Self-Paced
• Free Video

Categories of Moore Machines - DOTS Lectures 6

Explore the categorical structure of Moore machines within the Double Operadic Theory of Systems framework through advanced mathematical analysis.

• YouTube
• 1 hour
• Self-Paced
• Free Video

Composing More Moore Machines - DOTS Lectures 5

Explore advanced composition techniques for Moore machines within the Double Operadic Theory of Systems framework with expert mathematical insights.

• YouTube
• 1 hour 6 minutes
• Self-Paced
• Free Video

Symmetric Monoidal Double Categories of Systems - Lecture 7

Explore symmetric monoidal double categories and their applications to systems theory through advanced categorical structures and mathematical frameworks.

• YouTube
• 1 hour
• Self-Paced
• Free Video

A Modal Proof of the Nerve Theorem

Explore a modal homotopy type theory proof of the classical nerve theorem, connecting combinatorial and continuous cohesion in spatial stacks.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

Compositionality of Behaviours - Generalized Moore Machine Case - Lecture 8

Explore advanced categorical systems theory through the Double Operadic Theory of Systems, focusing on compositional behaviors in generalized Moore machines.

• YouTube
• 1 hour 7 minutes
• Self-Paced
• Free Video

Abstractions for Real People

Explore how mathematical abstractions in computing can better serve society through accessible, responsive approaches that address AI risks and societal needs.

• YouTube
• 1 hour 3 minutes
• Self-Paced
• Free Video

CAP - A Categorical Reorganization of Computer Algebra

Discover CAP, a software project revolutionizing computer algebra through categorical towers and automated compilation for efficient algorithmic category theory implementation.

• YouTube
• 1 hour
• Self-Paced
• Free Video

The Second Graphical Calculus of Relations - Peirce's Existential Graphs

Explore Peirce's Existential Graphs as precursors to modern string diagrams and their influence on categorical logic developments.

• YouTube
• 52 minutes
• Self-Paced
• Free Video

Amortized Analysis via Coalgebra

Explore coalgebraic perspectives on amortized analysis, examining how this mathematical framework enhances understanding of data structure operations and computational costs.

• YouTube
• 1 hour
• Self-Paced
• Free Video

Engineering Practice and the Potential Role of Category Theory in Systems Engineering

Explore how information structures and categorical theory can enhance systems engineering processes, focusing on practical applications and standardized modeling approaches.

• YouTube
• 1 hour 4 minutes
• Self-Paced
• Free Video

Collective Grassroots Knowledge Generation with Lab Discourse Graphs

Discover how discourse graphs revolutionize scientific research coordination by breaking down complex studies into interconnected questions, claims, and evidence for better knowledge synthesis and collaboration.

• YouTube
• 1 hour 7 minutes
• Self-Paced
• Free Video