Related papers: Cubes are dense in $(\infty,\infty)$-categories

Every fusion category C that is k-linear over a suitable field k, is the category of finite-dimensional comodules of a Weak Hopf Algebra H. This Weak Hopf Algebra is finite-dimensional, cosemisimple and has commutative bases. It arises as…

We associate to a bound quiver (Q,I) a CW-complex which we denote by B(Q,I), and call the classifying space of (Q,I). We show that the fundamental group of B(Q,I) is isomorphic to the fundamental group of (Q,I). Moreover, we show that this…

This paper lays some of the foundations for working with not-necessarily-commutative bialgebras and their categories of comodules in $\infty$-categories. We prove that the categories of comodules and modules over a bialgebra always admit…

In [Joyal] where the category $\Theta$ is first defined it is noted that the dimensional shift on $\Theta$ suggests an elegant presentation of the unreduced suspension on cellular sets. In this note we prove that the reduced suspension…

In a locally $\lambda$-presentable category, with $\lambda$ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are $\lambda$-presentable, are known to be characterized…

We show that every essentially small finitely semisimple k-linear additive spherical category in which k=End(1) is a field, is equivalent to its dual over the long canonical forgetful functor. This includes the special case of modular…

Using generalized enriched categories, in this paper we show that Rosick\'{y}'s proof of cartesian closedness of the exact completion of the category of topological spaces can be extended to a wide range of topological categories over…

We prove a version of Shelah's Categoricity Conjecture for arbitrary deconstructible classes of modules. Moreover, we show that if $\mathcal{A}$ is a deconstructible class of modules that fits in an abstract elementary class…

Given a limit sketch in which the cones have a finite connected base, we show that a model structure of "up to homotopy" models for this limit sketch in a suitable model category can be transferred to a Quillen equivalent model structure on…

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…

We prove that thick category $\mathcal{O}$ associated to a semi-simple complex finite dimensional Lie algebra is extension full in the category of all modules. We also prove the weak Alexandru conjecture both for regular blocks of thick…

A relatively new topic in computability theory is the study of notions of computation that are robust against mistakes on some kind of small set. However, despite the recent popularity of this topic relatively foundational questions about…

While the Yoneda embedding and its generalizations have been studied extensively in the literature, the so-called tensor embedding has only received little attention. In this paper, we study the tensor embedding for closed symmetric…

We define and study coherent cochain complexes in arbitrary stable $\infty$-categories, following Joyal. Our main result is that the $\infty$-category of coherent cochain complexes in a stable $\infty$-category $\mathscr C$ is equivalent to…

It is shown that $u_k \cdot v_k$ converges weakly to $u\cdot v$ if $u_k\weakto u$ weakly in $L^p$ and $v_k\weakly v$ weakly in $L^q$ with $p, q\in (1,\infty)$, $1/p+1/q=1$, under the additional assumptions that the sequences $\Div u_k$ and…

Let $M_d$ be the centered Hardy-Littlewood maximal function associated to cubes in $\mathbb{R}^d$ with Lebesgue measure, and let $c_d$ denote the lowest constant appearing in the weak type (1,1) inequality satisfied by $M_d$. We show that…

In this paper we prove several quantitative rigidity results for conformal immersions of surfaces in $\mathbb{R}^n$ with bounded total curvature. We show that (branched) conformal immersions which are close in energy to either a round…

We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated $N$-complicial sets (which are a proposed model of $(\infty,N)$-categories), in the form of a Quillen…

In this article we introduce the notion of cubical $(\omega,p)$-categories, for $p \in \mathbb N \cup \{\omega\}$. We show that the equivalence between globular and groupoid $\omega$-categories proven by Al-Agl, Brown and Steiner induces an…

Given an idempotent complete additive category, we show the there is an explicitly constructed topological space such that the lattice of exact substructures is anti-isomorphic to the lattice of closed subsets. In the special case that the…