Related papers: Cubes are dense in $(\infty,\infty)$-categories
We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is…
The goal of this paper is to explain when basechange theorems for sheaves of spaces imply basechange for sheaves with coefficients in other presentable $\infty$-categories. We accomplish this by analyzing when the tensor product of…
Suppose $C$ is a smooth projective curve of genus 1 over a perfect field $F$, and $E$ is its Jacobian. In the case that $C$ has no $F$-rational points, so that $C$ and $E$ are not isomorphic, $C$ is an $E$-torsor with a class $\delta(C)\in…
We are concerned with the center (=quantum double) of tensor categories and prove generalizations of several results proven previously for quantum doubles of Hopf algebras. We consider F-linear tensor categories C with simple unit and…
Combining results from Keller and Buchweitz, we describe the 1-periodic derived category of a finite dimensional algebra $A$ of finite global dimension as the stable category of maximal Cohen-Macaulay modules over some Gorenstein algebra…
Sieg and Wegner showed that the stable exact sequences define a maximal exact structure (in the sense of Quillen) in any pre-abelian category. We generalize this result for weakly idempotent complete additive categories.
We prove two results on the tube algebras of rigid C$^*$-tensor categories. The first is that the tube algebra of the representation category of a compact quantum group $G$ is a full corner of the Drinfeld double of $G$. As an application…
We describe all left continuous triangular norms for which the category [0,1]-Cat of real-enriched categories and functors is cartesian closed. We furthermore show that the cartesian closedness of [0,1]-Cat is equivalent to the cartesian…
We present a new model for continuous tensor categories as algebra objects in the Morita bicategory of $\mathrm{C}^*$-algebras. In this setting, we generalize the construction of Tambara-Yamagami tensor categories from finite abelian groups…
We axiomatise the theory of $(\infty,n)$-categories. We prove that the space of theories of $(\infty,n)$-categories is a $B(\mathbb{Z}/2)^n$. We prove that Rezk's complete Segal $\Theta_n$-spaces, Simpson and Tamsamani's Segal…
A locally coherent exact category is a finitely accessible additive category endowed with an exact structure in which the admissible short exact sequences are the directed colimits of admissible short exact sequences of finitely presentable…
Categorical spectra are spectrum objects in pointed $(\infty,\infty)$-categories: sequences $(X_n)$ equipped with equivalences $X_n\simeq \Omega X_{n+1}$. This thesis develops foundations for categorical spectra and constructs their tensor…
Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of G\'{a}lvez, Kock, and Tonks, are characterized by the property…
We give an intrinsic characterization of the closure under shifts $\widehat{\cal A}$ of a given strictly unital $A_\infty$-category ${\cal A}$. We study some arithmetical properties of its higher operations and special conflations in the…
Tannaka duality and its extensions by Lurie, Sch\"appi et al. reveal that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete…
We further develop the relationship between $\beta$-numbers and discrete curvatures to provide a new proof that under weak density assumptions, finiteness of the pointwise discrete curvature $\operatorname{curv}^{\alpha}_{\mu;2}(x,r)$ at…
We prove that the folk model category structure on the category of strict $\omega$-categories, introduced by Lafont, M\'etayer and Worytkiewicz, is monoidal, first, for the Gray tensor product and, second, for the join of…
We prove that any weakly idempotent complete $d$-exact category is equivalent to a $d$-cluster tilting subcategory of a weakly idempotent complete exact category, and that any weakly idempotent complete algebraic $(d+2)$-angulated category…
We show that for any quantale $\mathcal{Q}$, a $\mathcal{Q}$-category is skeletal and complete if and only if it is injective with respect to fully faithful $\mathcal{Q}$-functors. This is a special case of known theorems due to Hofmann and…
Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…