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.

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