1 citations · 1 across the 6 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.CT2025
Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches
Jason Brown, Kevin Carlson, Sophie Libkind +1
(Pseudo) double categories have two sorts of morphisms: tight ones which compose strictly, and loose ones which compose up to coherent isomorphism. In this paper, we consider bimod…
math.CT2025
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…