Compassionate mathematics

20240610

Applied Category Theory for Engineering Design: A Teaser Video

20240603

Launching new collaboration with Chapman University

20240528

Ontological Commitments for Boundaries

20240425

Understanding UMAP

20240405

Poly @ Work 2024

20240327

A Retrospective on the Oxford–Topos Meeting

20240313

SCAI — AI for the Global Good

20240202

Algebras are promonads

20240129

Composing springs

20240118

Why double categories? Part 1

20240115

Building dynamic structures

20240109

Polymorphic effect handlers

20240103

Responsible mathematics and metaphors of semantics

20231214

Trustworthy Reification

20231205

Categorical Statistics in Julia

20231128

Mathematics for climate change

20231123

Topos researchers win Best Paper Award at AAAI Fall Symposium 2023

20231117

Introducing InterTypes

20231114

Solving problemsolving

20231113

Lie groups induce Hopf monoids in Poly

20231026

Retrotransformations

20231020

Cartesian double theories

20231013

Our Summer Research Associates in 2023

20231009

Powers of polynomial monads

20230921

Unbiased monoidal categories are pseudoelements

20230815

A nuclear adjunction between Poly and Dir

20230721

Dialogue on a mathematical approach to the good

20230711

Agentbased modeling via graph rewriting

20230707

Welcoming our new Director of Research, Shaowei Lin

20230622

Acsets with variables

20230620

Singular Learning Theory and Alignment Summit 2023

20230617

Towards a Research Program on Compositional WorldModeling

20230615

Natural transformations between cofunctors

20230526

Categories for Epidemiology

20230512

Symbolic presentations of dynamical systems

20230508

Spooling out syntax from behavior

20230424

Conegation rewriting

20230411

Imperative Programming with Poly

20230405

Seventy Years Using Fixed Points

20230329

Algebraic geometry for the working programmer

20230323

Lotteries: a constructive version of the distributions monad

20230323

Structured cospans as a cocartesian equipment

20230315

Category theorists welcome selflearners in a new outreach panel

20230309

Women in Logic: the history so far

20230306

What made the FRA workshop structure successful?

20230222

Ask Eugenia Cheng about Category Theory!

20230209

Promonoidal categories and wiring diagrams

20230131

Recursive Types via Domain Theory

20230110

Preparing for Networked Mathematics

20230105

Lenses are semimonads, maybe lenses are monads

20221220

Research opportunities at Topos in early 2023

20221212

Dialectica Categories in Computing

20221206

Scott’s model of lambda calculus

20221123

Statement on Topos and the FTX Foundation

20221119

Mathematical concepts: how do you recognize them?

20221116

Where matter and pattern meet

20221107

Who is category theory for?

20221104

When you light up, I light up

20221028

Project cards: a tool for research transparency

20221024

JMM Workshop on ACT for teaching and learning

20221014

In celebration of Dana Scott

20221009

Ethics, Technology, and Embracing the 21st Century

20221007

So, what is category theory anyway?

20221004

Nate & Jesse’s adjoint 5tuple

20220929

Using categorical logic for AI planning

20220920

A dynamic monoidal category for strategic games

20220912

Data Operations are Functorial Semantics

20220906

What does it take to run a research nonprofit?

20220901

Strategies for ethically oriented pursuit of research and technology

20220824

Imagining Bicomodules with Type Theory

20220819

Computation and Category Theory

20220810

It’s Proly like Poly but better

20220804

Our Summer Research Associates in 2022

20220714

Dialectica categories and polynomial functors (Part 1)

20220712

A 15year history of my research program, in 10 minutes

20220707

Graphs in Poly

20220616

All models are wrong, but…

20220607

An account of sensemaking

20220603

Decorated cospans via the Grothendieck construction

20220530

Grothendieck construction for double categories

20220523

Join Topos as a senior leader in finance and operations!

20220520

The “artificial” distinction

20220518

The many facets of Networked Mathematics

20220418

Diagrammatic equations and multiphysics (Part 2)

20220415

Diagrammatic equations and multiphysics (Part 1)

20220408

Codesign of dynamical systems

20220406

2022 Workshop on Polynomial Functors

20220329

Creating mathematics

20220325

Brits in Berkeley

20220322

Launch of the Women in Logic website

20220317

So, what’s the plan?

20220315

Call for 2022 Summer Research Associates

20220301

Topos seeks Research Software Engineer

20220221

Playing with Shapes at Topos

20220215

Poly makes me happy and smart

20220119

Topos Institute seminars in 2022

20220107

Creating new categories from old: Selection categories

20211230

Topos in 2021: a retrospective

20211202

Left adjoints, lenses, and localisation

20211124

Deep neural networks as nested dynamical systems

20211105

Categorical systems theory

20211104

We’re looking for a postdoc!

20211008

Poly inside Poly

20210922

Compositional Thermostatics

20210909

Enriched categories as dynamical systems

20210902

Announcing EmCats

20210824

Dirichlet polynomials and entropy

20210725

Get to know our Summer Research Associates

20210719

Introducing the MathFoldr Project

20210711

Seminars and workshops so far

20210708

Jump monads: from conjugation to dependent types

20210701

Welcome to the Topos Blog

20210630
