People / Lisa Raphals

Senior Advisor

About

Lisa Raphals is Professor of Comparative Literature, cooperating faculty in Philosophy, and Chair, Program in Classical Studies and Program in Comparative Ancient Civilizations at the University of California, Riverside. She is a specialist in philosophy and history of science in early China and Greece, with interests in AI, cognitive science, ethics, and science fiction, and author of six books. Her expertise in these topics informs our work on ethics and technology at Topos.

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