Related papers: A comparison between $SL_n$ spider categories
In this paper we study the category of nuclear modules on an affine formal scheme as defined by Clausen and Scholze \cite{CS20}. We also study related constructions in the framework of dualizable and rigid monoidal categories. We prove that…
We put a model structure on a full subcategory of based multicategories in which the weak equivalences are created by the K-theory functor of Elmendorf-Mandell, providing a model categorical lift of Thomason's theorem on the modeling of…
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonas on the…
A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes…
Braidoids form a counterpart theory to the theory of planar knotoids, just as braids do for three-dimensional links. As such, planar knotoid diagrams represent the same knotoid in $\mathbb{R}^2$ if and only if they can be presented as the…
The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those…
The Morita context provided by an exact module category over a finite tensor category gives a two-object bicategory with duals. Right and left duals of objects in the module category are given by internal Homs and coHoms, respectively. We…
In this paper we prove equivalences of categories relating the derived category of a block of the category of representations of a connected reductive algebraic group over an algebraically closed field of characteristic $p$ bigger than the…
In the first part of this paper, we constructed a filtered U(r)-equivariant stable homotopy type called the spectrum of strict broken symmetries sB(L) of links L given by closing a braid with r strands. We further showed that evaluating…
We study some examples of braided categories and quasitriangular Hopf algebras and decide which of them is pseudosymmetric, respectively pseudotriangular. We show also that there exists a universal pseudosymmetric braided category.
We prove coherence theorems for dualizable objects in monoidal bicategories and for fully dualizable objects in symmetric monoidal bicategories, describing coherent dual pairs and coherent fully dual pairs. These are property-like…
Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. Seidel \cite{Se} has proved a version of this conjecture in the simplest case of the genus two curve. Basing on the…
We develop the quantum Kodaira-Spencer theory on the elliptic curve and establish the corresponding higher genus B-model. We show that the partition functions of the higher genus B-model on the elliptic curve are almost holomorphic modular…
Braided groups and braided matrices are novel algebraic structures living in braided or quasitensor categories. As such they are a generalization of super-groups and super-matrices to the case of braid statistics. Here we construct braided…
In their work on the period map and the dualizing sheaf for Lubin-Tate space, Gross and the second author wrote down an equivalence between the Spanier-Whitehead and Brown-Comenetz duals of certain type $n$-complexes in the $K(n)$-local…
Given a braided pivotal category $\mathcal C$ and a pivotal module tensor category $\mathcal M$, we define a functor $\mathrm{Tr}_{\mathcal C}:\mathcal M \to \mathcal C$, called the associated categorified trace. By a result of…
For any odd $n$, we describe a smooth minimal (i.e. obtained by adding an irreducible hypersurface) compactification $\tilde S_n$ of the quasi-projective homogeneous variety $S_{n}=PGL(n+1)/SL(2)$ that parameterizes the rational normal…
We give an alternative presentation of braided monoidal categories. Instead of the usual associativity and braiding we have just one constraint (the b-structure). In the unital case, the coherence conditions for a b-structure are shown to…
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic. Analogous graphs occur in Kelly's and Mac Lane's…
A bicategory approach to differential cohomology is presented. Based on the axioms of Bunke-Schick, a symmetric monoidal groupoid is associated to differential refinements of cohomology theories. It is proven that such differential…