7 problems

Let $I^n$ be the $n$-cube, let $2_n$ be the free $\omega$-category generated by an $n$-morphism, and let $G_n$ for $n>0$ be the oriented $n$-globe, namely the free $\omega$-categor…

Let $\mathcal{C}$ be an $\omega$-category and let $I^1$ be the interval in the biclosed monoidal structure on $\omega\operatorname{Cat}$. For either choice of sign, consider the…

Let $\mathcal{C}$ and $\mathcal{D}$ be free $\omega$-categories, let $f,g:\mathcal{C}\to\mathcal{D}$ be homotopic non $1$-contracting $\omega$-functors, and let…

Let $\mathcal{C}$ be a free globular $\omega$-category. For a natural number $n$, let $x_i\in\omega\operatorname{Cat}(I^n,\mathcal{C})^\pm$ and let $\lambda_i$ be natural numbers i…

Let $\mathcal{C}$ be an $\omega$-category, let $I^n$ denote the $n$-dimensional cube, let $A$ and $B$ be composable $n$-morphisms, and let $\widehat{\mathcal{C}}$ denote the modifi…

A type-theoretic $\omega$-category is a model of the type theory defined in the paper, while a Grothendieck–Maltsiniotis $\omega$-category is a functor…

Let $\mathcal{S}_{\mathrm{cat}}$ be the category of type-theoretic models described in the paper, and let $\mathcal{T}$ be the canonical coherator for Grothendieck–Maltsiniotis…