
Evan Patterson
I am an interdisciplinary researcher working at the interface of...
- Scientific and statistical modeling
- Category theory and categorical logic
- Software systems for the above
What's new
From the blog
How to prove equations using diagrams, part 2: Weak equivalences and e-diagrams (6/10/2025)
In this second part of a series about diagrammatic reasoning, inspired by e-graphs, we review the comprehensive factorization of a functor and propose a definition of “e-diagram” based on initial functors.
Read moreLatest paper
Representing knowledge and querying data using double-functorial semantics, 2024. Michael Lambert, Evan Patterson.
We argue that double categories of relations are a unifying language for knowledge representation and databases, combining Spivak and Kent's functional ologs with my relational ologs. Read more