David Jaz Myers

Research Scientist

David Jaz Myers is a mathematician and category theorist by trade with a PhD from Johns Hopkins. Generally, David aims to understand what it means to be a thing, what form our notions of things may take, and how these forms affect our thinking and practice. In particular, he aims to use (higher) category theory and categorical logic to build a practical foundation for general systems theory and conceptual, collaborative scientific modelling.

Blog posts

Structure-aware version control via observational bridge types

In this post, we suggest a way to use observational bridge types (as in the Narya proof assistant) for structure aware version control.

David Jaz Myers

2024-11-13

Categorical systems theory

Categorical systems theory is the study of the design and analysis of systems using category theory. Category theory is a hopelessly abstract branch of pure mathematics, so abstract that even the other mathematicians refer to it as “abstract nonsense”. Why would anyone want to study such complex…

David Jaz Myers

2021-11-04

Enriched categories as dynamical systems

Often in applied category theory, we hear about how systems form categories — categories of systems. But what about when the systems are categories? In this lecture, we introduce the idea of enriched categories, taking the point of view that an enriched category is a sort of dynamical system.

David Jaz Myers

2021-09-02

Get to know our Summer Research Associates

We’re excited to welcome our 2021 summer research associates to our Berkeley campus! This summer we have Sophie Libkind, Owen Lynch, David Jaz Myers, and Nelson Niu joining our work on connected intelligence and model-based scientific computing. They bring new exciting energy and ideas, and we’re…

Brendan Fong, Sophie Libkind, David Jaz Myers, Owen Lynch, Nelson Niu

2021-07-19