I am a research scientist and software developer with interests in...
- Applied category theory
- Statistics and data science
- Scientific computing
- Software systems
From the blog
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
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