# The Berkeley Seminar

## About

The Topos Institute Berkeley Seminar is a weekly, informal seminar on topics relevant to the Topos Institute community, held at our Berkeley Campus. Unless otherwise noted, the talks will begin at 11am PT on Tuesdays.

RSVP at the Google Form here. Please note that, unlike many academic departments, the Wells Fargo building is a secured space, so if you don’t remember to RSVP you’re likely to be delayed on arrival.

Talks are often recorded and posted to our Berkeley Seminar YouTube playlist. Links to recordings and slides from past talks are also available below.

##### Stateful Lenses: A Recipe for Expressive Systems-Theoretic Cartesian Double Categories

**Owen Lynch**

Sep 10, 2024

##### Roads not (yet) taken: Some times when more mathematical structure might have helped in the progress of Economics

**Owen Haaga**

Sep 3, 2024

##### Categorical approaches to inferentialist semantics

**Kris Brown**

Aug 27, 2024

##### Lightning Talks

**all **

Aug 20, 2024

##### Composing Instantaneous Machines

**Keri D'Angelo**

Aug 6, 2024

##### Free cocompletions made friendly?

**Kevin Carlson**

Jul 23, 2024

##### Building the science of predictive systems for AI safety

**Adam Shai**

Jul 16, 2024

##### Lightning Talks

**Everyone **

Jul 9, 2024

##### Communicating Relational Thinking

**Priyaa Srinivasan**

Jul 2, 2024

##### Lightning Talks

**everyone **

Jun 25, 2024

##### A tour of EM(Cat#)

**David Spivak**
(Topos Institute)

May 20, 2024

##### Lightning Talks

**everyone **

May 13, 2024

##### Probabilistic and Namespace Conditioning in Poly

**Sophie Libkind**
(Topos Institute)

Apr 29, 2024

##### Category theory over a minimalist or no foundation

**Giovanni Sambin**

Apr 22, 2024

##### Lightning talks

**Everyone! **

Apr 15, 2024

##### Products in double categories, revisited

**Evan Patterson**
(Topos Institute)

Apr 8, 2024

##### Pattern runs on matter

**Sophie Libkind**
(Topos Institute)

Mar 25, 2024

##### Doctrine-specific ur-algorithms

**Mohamed Barakat**
(University of Siegen)

Mar 18, 2024

##### A Theoretical Computer Science Perspective on Consciousness and Artificial General Intelligence

**Lenore Blum**
(CMU)

Feb 12, 2024

##### Probing the Developmental Landscape of Neural Networks

**Jesse Hoogland**
(Timaeus)

Feb 5, 2024

##### The 2-category of categories, controls, and flows

**David Spivak**
(Topos)

Jan 29, 2024

##### Color Logic: a language for CT education and research

**Christian Wells**
(Riverside)

Dec 4, 2023

##### Classical Mechanics, Poisson Geometry, Factorization Algebras, and Operads

**Eugene Rabinovich**

Oct 9, 2023

##### Cartesian double theories: A double-categorical framework for categorical doctrines

**Evan Patterson**
(Topos)

Sep 25, 2023

##### All You Need is Relative Information

**Shaowei Lin**
(Topos)

Aug 28, 2023

##### Entropy and Energy

**Owen Lynch**
(Topos)

Aug 14, 2023

##### Topological Quantum Gates in Homotopy Type Theory

**David Jaz Myers**
(NYU Abu Dhabi)

Aug 7, 2023

##### Formalizing Unit Systems and Physical Quantities for Programming Languages using Applied Category Theory

**Vincent Reverdy**
(CNRS)

Jul 24, 2023

##### Combinatorial Approaches to Multiphysics: Discrete Exterior Calculus Applied to Partial and Ordinary Differential Equations

**Luke Morris**
(Florida/Topos)

Jul 17, 2023

##### How to use ChatGPT as a research and communications tool

**David Spivak**
(Topos)

Jul 5, 2023

##### Linear Logic is a Language for Structured Data

**Stephen Mell**
(Pennsylvania/Topos)

Jun 26, 2023

##### Amortized Analysis via Coinduction

**Harrison Grodin**
(CMU/Topos)

Jun 12, 2023

##### Type classes, Monads, and a Big Idea

**Philip Wadler**
(Edinburgh)

Jun 5, 2023

##### Scientific and software engineering examples of applied category theory

**Kris Brown**
(Topos)

May 15, 2023

##### DisCoCirc

**Vincent Wang**
(Oxford)

May 1, 2023

##### Dagger linear logic for categorical quantum mechanics

**Priyaa Srinivasan**
(NIST)

Invalid Date

##### Category Theory and Engineering Design: A Computational Support Challenge

**Eswaran Subrahmanian**
(Carnegie Mellon)

Apr 10, 2023

##### Automating discovery in experimental science

**Gabriel Reder**
(Chalmers)

Mar 27, 2023

##### Reasoning Under Uncertainty

**Adele Lopez**

Mar 7, 2023

##### My (nonlinear) scientific career path: a project-based approach

**Anh Thai Nhan**

Feb 22, 2023

##### The microservices operad -OR- the free monad monad is a module over the cofree comonad comonad

**David Spivak**
(Topos Institute)

Feb 21, 2023

##### A Sketch of a Program for a Type System for Probabilistic Conformational Molecular Computing, A Computadic Introduction to Shulman's PTT, and Variations on PTT for Semicartesian and Markov Categories

**Paul Lessard**

Dec 19, 2022

##### Double Lawvere Theories

**Evan Patterson**
(Topos Institute)

Dec 5, 2022

##### Grothendieck Constructions and Universal Maps

**Brandon Shapiro**
(Topos Institute)

Oct 31, 2022

##### Does recursion help? (In honor of Dana Scott's 90th birthday)

**Gordon Plotkin**

Oct 11, 2022

##### Space-time tradeoffs of lenses and optics via higher category theory

**Bruno Gavranovic**
(University of Strathclyde)

Oct 3, 2022

##### Assembly in the Algebraic K-theory of Lawvere Theories

**Anna Marie Bohmann**
(Vanderbilt University)

Sep 26, 2022

##### Lightning Talks

Sep 19, 2022

##### Towards a Categorical Treatment of Economics

**Fernando Tohme**
(Universidad Nacional del Sur)

Sep 15, 2022

##### Dialectica constructions and lenses

**Jonathan Weinberger**
(Johns Hopkins University)

Sep 12, 2022

##### A Categorical Formulation of Predictive Processing

**Sean Tull**
(Cambridge Quantum)

Sep 9, 2022

##### Double-categorical databases and knowledge representation

**Evan Patterson**
(Topos Institute)

Sep 6, 2022

##### A type theory for (∞,1)-categories.

**Jonathan Weinberger (Johns Hopkins University)**

Sep 6, 2022

##### Applications of category theory to automated planning and program compilation in robotics

**Angeline Aguinaldo**
(Topos Institute)

Aug 22, 2022

##### The Digital Abacus

**Paul Dancstep**

Aug 18, 2022

##### Lightning Talks

Aug 15, 2022

##### Duoidal Structures for Space and Time

**Brandon Shapiro**
(Topos Institute)

Aug 1, 2022

##### Axioms for the category of Hilbert spaces

**Andre Kornell**
(Tulane University)

Jul 5, 2022

##### The topology, geometry, and combinatorics of ReLU neural network functions

**Elisenda Grigsby**
(Boston College)

Jun 29, 2022

##### Computation, communication, and ontology maps

**Scott Viteri**
(Stanford University)

Jun 27, 2022

##### The free monad, cofree comonad, and topological space associated to a polynomial

**David Spivak**
(Topos Institute)

Jun 13, 2022

##### Ask Me Anything about AI Existential Risk

**Andrew Critch**
(UC Berkeley)

May 9, 2022

##### Measuring the Complexity of Countable Objects

**Antonio Montalban**
(UC Berkeley)

May 2, 2022

##### Enrichment of General Categorical Structures

**Brandon Shapiro**
(Topos Institute)

Apr 18, 2022

##### Retina-inspired Representations of Natural Signals

**Chris Hillar**
(Awecom, Inc.)

Apr 11, 2022

##### Clifford algebra and rigid motions

**Alok Singh**

Apr 4, 2022

##### Happy Birthday AlgebraicDynamics!

**Sophie Libkind**
(Stanford University)

Mar 28, 2022

##### Adaptives: evolving systems of organized contributions

**Brandon Shapiro**
(Topos Institute)

Mar 14, 2022

##### Categories by proxy and the limits of Para

**Toby St Clere Smithe**
(Topos Institute)

Mar 7, 2022

##### Principles and pitfalls of designing software for applied category theory

**Evan Patterson**
(Topos Institute)

Feb 14, 2022

##### Modeling decentralized markets using (mostly free) categories

**Wesley Phoa**
(Capital Group)

Feb 7, 2022

##### Integrating machine learning into scientific spatial and temporal modeling

**Aditi Krishnapriyan**
(UC Berkeley)

Jan 31, 2022

##### Natural Language Inference: for humans and machines

**Valeria de Paiva**
(Topos Institute)

Jan 24, 2022

##### Familial and Polynomial Functors for Higher Category Theories

**Brandon Shapiro**
(Cornell)

Dec 13, 2021

##### Partially observing graphs - when can we infer underlying community structure?

**Fiona Skerman**
(Uppsala)

Dec 6, 2021

##### Path Space Monomials: Signatures and Applications to Sequential Data

**Darrick Lee**
(EPFL)

Aug 17, 2021

##### Invitation to the next dimension: 2D doesn't mean double the work, only twice as much

**tslil clingman**
(Johns Hopkins University)

Aug 10, 2021

##### Algebraic Property Graphs

**Joshua Meyers**
(Indiana University)

Aug 3, 2021

##### The Universal Library: A novel approach to teaching category theory

**Paul Dancstep**

Jul 20, 2021

##### Diary of a software engineer using categories

**Angeline Aguinaldo**
(Johns Hopkins/University of Maryland)

Jul 6, 2021

##### The Algebraic Julia Ecosystem, a categorical approach to technical computing

**James Fairbanks**
(University of Florida)

Jun 29, 2021