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