Showing 1–3 of 3 results for author: Morehouse, E

Cartesian Gray-Monoidal Double Categories

Authors: Edward Morehouse

Abstract: 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-dimensional categorical structures analogous to classical, locally globular, Gray categories. The motivating example comprises double categories themselves, together with their functors, transformations, and modifications. A one-… ▽ More 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-dimensional categorical structures analogous to classical, locally globular, Gray categories. The motivating example comprises double categories themselves, together with their functors, transformations, and modifications. A one-object locally cubical Gray category is a Gray-monoidal double category. Braiding, syllepsis, and symmetry for these is introduced in a manner analogous to that for 2-categories. Adding cartesian structure requires the introduction of doubly-lax functors of double categories to manage the order of copies. The resulting theory is algebraically rather complex, largely due to the bureaucracy of linearizing higher-dimensional boundary constraints. Fortunately, it has a relatively simple and compelling representation in the graphical calculus of surface diagrams, which we present. △ Less

Submitted 10 July, 2023; v1 submitted 15 February, 2023; originally announced February 2023.

Comments: This version fixes minor errors and adds tetrahedron coherence for braiding, as well as Yang-Baxterator coherence for syllepsis

MSC Class: 18D70

$2$-Categories from a Gray Perspective

Authors: Edward Morehouse

Abstract: In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical adjunction between $2$-computads and $2$-categories to interpret the comparison structure of lax functors and extend the surface diagram calculus with composito… ▽ More In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical adjunction between $2$-computads and $2$-categories to interpret the comparison structure of lax functors and extend the surface diagram calculus with compositor sheets in order to represent and reason about them. △ Less

Submitted 16 March, 2022; originally announced March 2022.

Varieties of Cubical Sets

Authors: Ulrik Buchholtz, Edward Morehouse

Abstract: 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 are test categories in the sense of Grothendieck, meaning that the corresponding presheaf categories of cubical sets model classical homotopy theory. We delineate exactly which ones are even strict test categories, meani… ▽ More 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 are test categories in the sense of Grothendieck, meaning that the corresponding presheaf categories of cubical sets model classical homotopy theory. We delineate exactly which ones are even strict test categories, meaning that products of cubical sets correspond to products of homotopy types. △ Less

Submitted 19 April, 2017; v1 submitted 27 January, 2017; originally announced January 2017.

Comments: 16 pages; to appear in proceedings of RAMiCS 2017

MSC Class: 55U05; 55U40; 18C10;