Evan Patterson

I am a research scientist and software developer with interests in...

  • Applied category theory
  • Statistics and data science
  • Scientific computing
  • Software systems

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.

Read more

Latest paper

Cartesian double theories: A double-categorical framework for categorical doctrines, 2023. Michael Lambert, Evan Patterson.

We introduce a new framework for categorical doctrines based on double-categorical functorial semantics. Read more