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
Retrotransformations (10/20/2023)
Retrotransformations between lax double functors are introduced as the “multi-object” analogue of a cofunctor between categories. Notions of “monoidal cofunctor” between monoidal categories and of “multicofunctor” between multicategories are then derived as special cases.
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