Edward Kmett

Board Member

Topos US

Edward Kmett is Head of Software Engineering at AI hardware start-up Groq. Previously, he was a Senior Researcher at the Machine Intelligence Research Institute, where he worked on programming languages and ensuring safe development of artificial intelligence systems. He is a prominent Haskell developer known for popularizing the use of lenses in functional programming, and maintains a significant portion of all Haskell core libraries.

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