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

Using the tensor category theory developed by Lepowsky, Zhang and the second author, we construct a braided tensor category structure with a twist on a semisimple category of modules for an affine Lie algebra at an admissible level. We…

We investigate the triangulated hull of the orbit categories of the perfect derived category and the bounded derived category of a ring concerning the power of the suspension functor. It turns out that the triangulated hull will correspond…

We give an account of model theory in the context of compactly generated triangulated and tensor-triangulated categories ${\cal T}$. We describe pp formulas, pp-types and free realisations in such categories and we prove elimination of…

In this article we verify an orbifold version of a conjecture of Nimershiem from 1998. Namely, for every flat $n$-manifold $M$, we show that the set of similarity classes of flat metrics on $M$ which occur as a cusp cross-section of a…

We characterize the model spaces $K_\Theta$ in which functions with smooth boundary extensions are dense. It is shown that such approximations are possible if and only if the singular measure associated to the singular inner factor of…

We describe some sufficient conditions, under which smooth and compactly supported functions are or are not dense in the fractional Sobolev space $W^{s,p}(\Omega)$ for an open, bounded set $\Omega\subset\mathbb{R}^{d}$. The density property…

For an exact dg category $\mathcal A$, we introduce its bounded dg derived category $\mathcal{D}^b_{dg}(\mathcal A)$ and establish the universal exact morphism from $\mathcal A$ to $\mathcal{D}^b_{dg}(\mathcal A)$. We prove that the dg…

Given a quasi-compact, quasi-separated scheme X, a bijection between the tensor localizing subcategories of finite type in Qcoh(X) and the set of all subsets $Y\subseteq X$ of the form $Y=\bigcup_{i\in\Omega}Y_i$, with $X\setminus Y_i$…

We prove that every finite symmetric integral tensor category $\mathcal{C}$ with the Chevalley property over an algebraically closed field $k$ of characteristic $p>2$ admits a symmetric fiber functor to $\text{sVec}$. This proves Ostrik's…

We give several criteria to decide whether a given tensor category is the abelian envelope of a fixed symmetric monoidal category. As a main result we prove that the category of finite-dimensional representations of a semisimple simply…

It has been conjectured since the 1980s that Verity's $n$-complicial sets were a model for $(\infty,n)$-categories. This text is dedicated to providing a positive answer to this conjecture. The proof of this result relies on a thorough…

We prove a Tannaka duality theorem for $(\infty,1)$-categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric monoidal $(\infty,1)$-categories endowed with particular…

We prove that the category of countable Tate modules over an arbitrary discrete ring embeds fully faithfully into that of condensed modules. If the base ring is of finite type, we characterize the essential image as generated by the free…

Algebra and representation theory in modular tensor categories can be combined with tools from topological field theory to obtain a deeper understanding of rational conformal field theories in two dimensions: It allows us to establish the…

The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its…

We investigate the notion of involutive weak cubical $\omega$-categories via Penon's approach: as algebras for the monad induced by the free involutive strict $\omega$-category functor on cubical $\omega$-sets. A few examples of involutive…

We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…

We prove that some subquotient categories of exact categories are abelian. This generalizes a result by Koenig-Zhu in the case of (algebraic) triangulated categories. As a particular case, if an exact category B with enough projectives and…

We investigate the complexity of isomorphisms of computable structures on cones in the Turing degrees. We show that, on a cone, every structure has a strong degree of categoricity, and that degree of categoricity is $\bf{0^{(\alpha)}}$ for…

We introduce, for \(\C\) a regular Cartesian Reedy category a model category whose fibrant objects are an analogue of quasicategories enriched in simplicial presheaves on \(C\). We then develop a coherent realization and nerve for this…