What's new

From the blog

Graded categories as double functors (5/1/2025)

I explain how a category graded by a monoidal category can be viewed as a double functor out of the delooping of the monoidal category. A few consequences and a series of examples are then presented.

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