Portrait
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 more

Latest 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