20 citations · 20 across the 5 of their papers we have counts for
5 papers
Dinaturality for Double Categories
Edward Morehouse
In this paper we extend the concept of dinaturality to the setting of double categories. We introduce the dinatural versions of double categorical transformations and modifications…
Cartesian Gray-Monoidal Double Categories
Edward Morehouse
In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimension…
-Categories from a Gray Perspective
Edward Morehouse
In this paper we present -category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider…
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)
G. A. Kavvos, Edward Morehouse, Daniel R. Licata +1
The main way of analyzing the complexity of a program is that of extracting and solving a recurrence that expresses its running time in terms of the size of its input. We develop a…
Varieties of Cubical Sets
Ulrik Buchholtz, Edward Morehouse
We define a variety of notions of cubical sets, based on sites organized using substructural algebraic theories presenting PRO(P)s or Lawvere theories. We prove that all our sites…