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 moreLatest 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