Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: From Cubes to Twisted Cubes via Graph Morphisms in Type Theory   Cube categories are used to encode higher-dimensional categorical structures.
They have recently gained significant attention in the community of homotopy
type theory and univalent foundations, where types carry the structure of such
higher groupoids. Bezem, Coquand, and Huber have presented a constructive model
of univalence using a specific cube category, which we call the BCH category.
  The higher categories encoded with the BCH category have the property that
all morphisms are invertible, mirroring the fact that equality is symmetric.
This might not always be desirable: the field of directed type theory considers
a notion of equality that is not necessarily invertible.
  This motivates us to suggest a category of twisted cubes which avoids
built-in invertibility. Our strategy is to first develop several alternative
(but equivalent) presentations of the BCH category using morphisms between
suitably defined graphs. Starting from there, a minor modification allows us to
define our category of twisted cubes. We prove several first results about this
category, and our work suggests that twisted cubes combine properties of cubes
with properties of globes and simplices (tetrahedra).

8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
13
The categories of this paper are: quant-ph