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 1: Initial functors (5/27/2025)
I explain how to represent equations using category-theoretic diagrams and how the valid manipulations of such diagrams are described by initial functors. This post is the first in a series about the categorical, operational semantics of e-graphs.
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