Related papers: Higher categories of push-pull spans, II: Matrix f…
In "Homfly polynomial via an invariant of colored plane graphs", Murakami, Ohtsuki, and Yamada provide a state-sum description of the level $n$ Jones polynomial of an oriented link in terms of a suitable braided monoidal category whose…
The purpose of this paper is to give a pair of canonical extensions of Mayer-Vietoris functors (e.g. homology or cohomology theories of spaces) to cospans of spaces. One of the pair, called cospanical extension in this paper, is closely…
We revisit the question of whether the Crane-Yetter topological quantum field theory (TQFT) associated to a modular tensor category admits a fully extended refinement. More specifically, we use tools from stable homotopy theory to classify…
We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…
For each braided category $\mathcal{C}$ we show that, under mild hypotheses, there is an associated category of "half braided algebras" and their bimodules internal to $\mathcal{C}$ which is not only monoidal but even braided and balanced.…
The bulk of this paper is devoted to the comparison of several models for the theory of (infinity,2)-categories: that is, higher categories in which all k-morphisms are invertible for k > 2 (the case of (infinity,n)-categories is also…
This is the second of a series of four articles studying various generalisations of Khovanov's diagram algebra. In this article we develop the general theory of Khovanov's diagrammatically defined "projective functors" in our setting. As an…
This is a continuation, completion, and generalization of our previous joint work with B. Chorny. We supply model structures and Quillen equivalences underlying Goodwillie's constructions on the homotopy level for functors between…
We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to…
In the first of this two-part series, we find `fixed point factorisation' formulas, towards an understanding of the fusion ring of WZW models. Fixed-point factorisation refers to the simplifications in the data of a CFT involving primary…
In this paper we establish affinizations and R-matrices in the language of pro-objects, and as an application, we construct reflection functors over the localizations of quiver Hecke algebras of arbitrary finite types. This reflection…
We study matrix factorizations of locally free coherent sheaves on a scheme. For a scheme that is projective over an affine scheme, we show that homomorphisms in the homotopy category of matrix factorizations may be computed as the…
We observe that there is an equivalence between the singularity category of an affine complete intersection and the homotopy category of matrix factorizations over a related scheme. This relies in part on a theorem of Orlov. Using this…
In the present work we describe the category $\mathsf{WC}_2$ of weighted 2-complexes and its subcategory $\mathsf{WC}_1$ of weighted graphs. Since a Coxeter group is defined by its Coxeter graph, the construction of Coxeter groups defines a…
We study linear Batalin-Vilkovisky (BV) quantization, which is a derived and shifted version of the Weyl quantization of symplectic vector spaces. Using a variety of homotopical machinery, we implement this construction as a symmetric…
The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…
Ideas of Rozansky and Witten, as developed by Kapranov, show that a complex symplectic manifold X gives rise to Vassiliev weight systems. In this paper we study these weight systems by using D(X), the derived category of coherent sheaves on…
Let $R$ be an integral domain and $G$ be a subgroup of its group of units. We consider the category $\mathbf{\mathsf{Cob}}_G$ of 3-dimensional cobordisms between oriented surfaces with connected boundary, equipped with a representation of…
A braided tensor category $FM_{\kappa}$ of `factorizable D-modules' over configuration spaces is introduced, analogous to the category $FS_q$ of factorizable sheaves from q-alg/9604001. This category is equivalent to the category of finite…
Let $k$ be a perfect field of characteristic $p$ and $W(k)$ its ring of Witt vectors. We construct an equivalence of categories between the full subcategory of the derived category of quasi-coherent sheaves on the syntomification of $W(k)$…