What's new

From the blog

Toward compact double categories: Part 2 (6/24/2024)

We propose a definition of a compact double category, intended to axiomatize dualities such as the opposite category and the opposite ring. The definition uses the “twisted” Hom double functor introduced in the previous post.

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