|
2026-10-05
|
Call for applications: 2-year postdoc in Oxford
|
|
2026-09-24
|
Discrete vs. filtered accessibility and presentability
|
|
2026-09-22
|
Who cares about a computation?
|
|
2026-09-18
|
Changing the frame: Formal modeling with LLM assistance, Part 1
|
|
2026-06-26
|
Our Summer Research Associates in 2026
|
|
2026-06-15
|
Geometric Type Theory, Done Two Ways
|
|
2026-06-01
|
CatColab v0.6: Starling
|
|
2026-04-18
|
Extending mass-action semantics, Part 2
|
|
2026-03-23
|
CatColab v0.5: Sandpiper
|
|
2026-03-18
|
Can the Most Abstract Math Make the World a Better Place? (Quanta)
|
|
2026-03-16
|
Extending mass-action semantics, Part 1
|
|
2026-01-30
|
Composition of attractor lattices
|
|
2026-01-08
|
CatColab v0.4: Robin
|
|
2025-11-24
|
Call for 2026 Summer Research Associates
|
|
2025-11-21
|
Set-sets
|
|
2025-11-07
|
DOTS from double theories
|
|
2025-10-07
|
Open position: Director of UK Operations
|
|
2025-09-26
|
Free PLTL algebras and a coalgebraic extension of hyperdoctrines
|
|
2025-08-15
|
Incremental query updating in adhesive categories
|
|
2025-08-06
|
Substitution is also pushout
|
|
2025-07-18
|
CatColab for Model Building
|
|
2025-07-13
|
Liberating synthetic quasi-coherence from forcing
|
|
2025-07-01
|
Our Summer Research Associates in 2025
|
|
2025-06-10
|
How to prove equations using diagrams, Part 2
|
|
2025-05-29
|
Growing the Topos tech team
|
|
2025-05-27
|
How to prove equations using diagrams, Part 1
|
|
2025-05-09
|
The Sun is Good
|
|
2025-05-08
|
Inaugural TopOx seminar
|
|
2025-05-07
|
The three functions of a name: reference, identity and display
|
|
2025-05-01
|
Graded categories as double functors
|
|
2025-04-30
|
Wiring Euclid for manufacturing
|
|
2025-04-29
|
Care at the Edge of Automation
|
|
2025-04-04
|
Distilling Research at Scale
|
|
2025-03-11
|
A Category Theory-Inspired BBN
|
|
2025-02-27
|
Towards codified context, durable documentation, and process preservation
|
|
2025-02-05
|
CatColab 0.2: Wren
|
|
2024-12-10
|
Polynomial universes and natural models
|
|
2024-11-13
|
Structure-aware version control via observational bridge types
|
|
2024-11-12
|
Call for 2025 Summer Research Associates
|
|
2024-11-08
|
Neural wiring diagrams for message passing in multiscale organizations
|
|
2024-10-31
|
Declarative Models and Collaborative Modeling
|
|
2024-10-11
|
Taking nonlogical concepts seriously
|
|
2024-10-02
|
Introducing CatColab
|
|
2024-09-06
|
Open curricula and assessment tools workshop in Kisumu
|
|
2024-08-30
|
Postdoc job openings in Topos Oxford, UK
|
|
2024-08-27
|
Plausible fiction
|
|
2024-08-19
|
Wiring diagrams for Mealy machines
|
|
2024-08-12
|
A polynomial account of Bayesian update
|
|
2024-08-02
|
Rethink math talks
|
|
2024-07-29
|
Our Summer Research Associates in 2024
|
|
2024-07-09
|
How to write a fantastic book in four months, Part III
|
|
2024-07-04
|
How to write a fantastic book in four months, Part II
|
|
2024-06-28
|
How to write a fantastic book in four months, Part I
|
|
2024-06-24
|
Toward compact double categories: Part 2
|
|
2024-06-20
|
Toward compact double categories: Part 1
|
|
2024-06-03
|
Applied Category Theory for Engineering Design: A Teaser Video
|
|
2024-05-28
|
Launching new collaboration with Chapman University
|
|
2024-04-25
|
Ontological Commitments for Boundaries
|
|
2024-04-05
|
Understanding UMAP
|
|
2024-03-27
|
Poly @ Work 2024
|
|
2024-03-13
|
A Retrospective on the Oxford–Topos Meeting
|
|
2024-02-02
|
SCAI — AI for the Global Good
|
|
2024-01-29
|
Algebras are promonads
|
|
2024-01-18
|
Composing springs
|
|
2024-01-15
|
Why double categories? Part 1
|
|
2024-01-09
|
Building dynamic structures
|
|
2024-01-03
|
Poly-morphic effect handlers
|
|
2023-12-14
|
Responsible mathematics and metaphors of semantics
|
|
2023-12-05
|
Trustworthy Reification
|
|
2023-11-28
|
Categorical Statistics in Julia
|
|
2023-11-23
|
Mathematics for climate change
|
|
2023-11-17
|
Topos researchers win Best Paper Award at AAAI Fall Symposium 2023
|
|
2023-11-14
|
Introducing InterTypes
|
|
2023-11-13
|
Solving problem-solving
|
|
2023-10-26
|
Lie groups induce Hopf monoids in Poly
|
|
2023-10-20
|
Retrotransformations
|
|
2023-10-13
|
Cartesian double theories
|
|
2023-10-09
|
Our Summer Research Associates in 2023
|
|
2023-09-21
|
Powers of polynomial monads
|
|
2023-08-15
|
Unbiased monoidal categories are pseudo-elements
|
|
2023-07-21
|
A nuclear adjunction between Poly and Dir
|
|
2023-07-11
|
Dialogue on a mathematical approach to the good
|
|
2023-07-07
|
Agent-based modeling via graph rewriting
|
|
2023-06-22
|
Welcoming our new Director of Research, Shaowei Lin
|
|
2023-06-20
|
Acsets with variables
|
|
2023-06-17
|
Singular Learning Theory and Alignment Summit 2023
|
|
2023-06-15
|
Towards a Research Program on Compositional World-Modeling
|
|
2023-05-26
|
Natural transformations between cofunctors
|
|
2023-05-12
|
Categories for Epidemiology
|
|
2023-05-08
|
Symbolic presentations of dynamical systems
|
|
2023-04-24
|
Spooling out syntax from behavior
|
|
2023-04-11
|
Conegation rewriting
|
|
2023-04-05
|
Imperative Programming with Poly
|
|
2023-03-29
|
Seventy Years Using Fixed Points
|
|
2023-03-23
|
Algebraic geometry for the working programmer
|
|
2023-03-23
|
Lotteries: a constructive version of the distributions monad
|
|
2023-03-15
|
Structured cospans as a cocartesian equipment
|
|
2023-03-09
|
Category theorists welcome self-learners in a new outreach panel
|
|
2023-03-06
|
Women in Logic: the history so far
|
|
2023-02-22
|
What made the FRA workshop structure successful?
|
|
2023-02-09
|
Ask Eugenia Cheng about Category Theory!
|
|
2023-01-31
|
Promonoidal categories and wiring diagrams
|
|
2023-01-10
|
Recursive Types via Domain Theory
|
|
2023-01-05
|
Preparing for Networked Mathematics
|
|
2022-12-20
|
Lenses are semi-monads, maybe lenses are monads
|
|
2022-12-12
|
Research opportunities at Topos in early 2023
|
|
2022-12-06
|
Dialectica Categories in Computing
|
|
2022-11-23
|
Scott’s model of lambda calculus
|
|
2022-11-19
|
Statement on Topos and the FTX Foundation
|
|
2022-11-16
|
Mathematical concepts: how do you recognize them?
|
|
2022-11-07
|
Where matter and pattern meet
|
|
2022-11-04
|
Who is category theory for?
|
|
2022-10-28
|
When you light up, I light up
|
|
2022-10-24
|
Project cards: a tool for research transparency
|
|
2022-10-14
|
JMM Workshop on ACT for teaching and learning
|
|
2022-10-09
|
In celebration of Dana Scott
|
|
2022-10-07
|
Ethics, Technology, and Embracing the 21st Century
|
|
2022-10-04
|
So, what is category theory anyway?
|
|
2022-09-29
|
Nate & Jesse’s adjoint 5-tuple
|
|
2022-09-20
|
Using categorical logic for AI planning
|
|
2022-09-12
|
A dynamic monoidal category for strategic games
|
|
2022-09-06
|
Data Operations are Functorial Semantics
|
|
2022-09-01
|
What does it take to run a research nonprofit?
|
|
2022-08-24
|
Strategies for ethically oriented pursuit of research and technology
|
|
2022-08-19
|
Imagining Bicomodules with Type Theory
|
|
2022-08-10
|
Computation and Category Theory
|
|
2022-08-04
|
It’s Proly like Poly but better
|
|
2022-07-14
|
Our Summer Research Associates in 2022
|
|
2022-07-12
|
Dialectica categories and polynomial functors, Part 1
|
|
2022-07-07
|
A 15-year history of my research program, in 10 minutes
|
|
2022-06-16
|
Graphs in Poly
|
|
2022-06-07
|
All models are wrong, but…
|
|
2022-06-03
|
An account of sense-making
|
|
2022-05-30
|
Decorated cospans via the Grothendieck construction
|
|
2022-05-23
|
Grothendieck construction for double categories
|
|
2022-05-20
|
Join Topos as a senior leader in finance and operations!
|
|
2022-05-18
|
The “artificial” distinction
|
|
2022-04-18
|
The many facets of Networked Mathematics
|
|
2022-04-15
|
Diagrammatic equations and multiphysics, Part 2
|
|
2022-04-08
|
Diagrammatic equations and multiphysics, Part 1
|
|
2022-04-06
|
Co-design of dynamical systems
|
|
2022-03-29
|
2022 Workshop on Polynomial Functors
|
|
2022-03-25
|
Creating mathematics
|
|
2022-03-22
|
Brits in Berkeley
|
|
2022-03-17
|
Launch of the Women in Logic website
|
|
2022-03-15
|
So, what’s the plan?
|
|
2022-03-01
|
Call for 2022 Summer Research Associates
|
|
2022-02-21
|
Topos seeks Research Software Engineer
|
|
2022-02-15
|
Playing with Shapes at Topos
|
|
2022-01-19
|
Poly makes me happy and smart
|
|
2022-01-07
|
Topos Institute seminars in 2022
|
|
2021-12-30
|
Creating new categories from old: Selection categories
|
|
2021-12-02
|
Topos in 2021: a retrospective
|
|
2021-11-24
|
Left adjoints, lenses, and localisation
|
|
2021-11-05
|
Deep neural networks as nested dynamical systems
|
|
2021-11-04
|
Categorical systems theory
|
|
2021-10-08
|
We’re looking for a postdoc!
|
|
2021-09-22
|
Poly inside Poly
|
|
2021-09-09
|
Compositional Thermostatics
|
|
2021-09-02
|
Enriched categories as dynamical systems
|
|
2021-08-24
|
Announcing Em-Cats
|
|
2021-07-25
|
Dirichlet polynomials and entropy
|
|
2021-07-19
|
Get to know our Summer Research Associates
|
|
2021-07-11
|
Introducing the MathFoldr Project
|
|
2021-07-08
|
Seminars and workshops so far
|
|
2021-07-01
|
Jump monads: from conjugation to dependent types
|
|
2021-06-30
|
Welcome to the Topos Blog
|