researchers with a paper here
collaborating institutions

1 paper

math.CT2026

Presheaves on lax double functors; or, Instances of models of double theories

Kevin Carlson, Evan Patterson

We introduce a notion of (co)presheaf on a lax double functor , which we generally call an instance. In the terminology of double-categorical logic, a lax double functor valued…