Kevin Carlson

Research Software Engineer

Topos US

Kevin is a mathematician, software engineer and math educator. He comes to Topos from a category theory Ph.D. at UCLA and master’s at Cambridge via a period in ed tech. His key intellectual interest is in finding effective angles for non-experts to use and understand mathematical structures that have traditionally been reserved for a narrow group of initiates focused on problems far from everyday life. This applies to everything from helping ordinary category theorists use infinity-categories to helping high schoolers use group theory to, primarily now, helping scientists use categorical structures in their applied work. He was known as Kevin Arlin between 2019 and 2024.

Title	Date
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