Related papers: Nakayama categories and groupoid quantization

Category theory in homotopy type theory is intricate as categorical laws can only be stated "up to homotopy", and thus require coherences. The established notion of a univalent category (Ahrens, Kapulkin, Shulman) solves this by considering…

In the category of monoids we characterize monomorphisms that are normal, in an appropriate sense, to internal reflexive relations, preorders or equivalence relations. The zero-classes of such internal relations are first described in terms…

We consider a toy model of a 3-dimensional topological quantum gravity. In this model, a contribution of a given 3-manifold is given by the partition function of an abelian Topological Quantum Field Theory (TQFT), with a topological…

We prove a new symplectic analogue of Kashiwara's Equivalence from D-module theory. As a consequence, we establish a structure theory for module categories over deformation quantizations that mirrors, at a higher categorical level, the…

Let G be a compact, simple, simply connected Lie group. A theorem of Freed-Hopkins-Teleman identifies the level k fusion ring R_k(G) of G with the twisted equivariant K-homology at level k+h, where h is the dual Coxeter number. In this…

In this paper, motivated by symplectic topology, we explore categorical entropy and present two main results. The first result establishes a relation between categorical entropies of functors on a category and its localization.…

We construct a pairing, which we call factorization homology, between framed manifolds and higher categories. The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together…

The goal of this paper is to establish Beilinson-Bernstein type localization theorems for quantizations of some conical symplectic resolutions. We prove the full localization theorems for finite and affine type A Nakajima quiver varieties.…

If $\mathcal{M}$ is a finite abelian category and $\mathbf{T}$ is a linear right exact monad on $\mathcal{M}$, then the category $\mathbf{T}\mbox{-mod}$ of $\mathbf{T}$-modules is a finite abelian category. We give an explicit formula of…

The Nakayama automorphism of a class of connected graded Artin-Schelter regular algebras is calculated explicitly.

A little-known and highly economical characterization of the real interval [0, 1], essentially due to Freyd, states that the interval is homeomorphic to two copies of itself glued end to end, and, in a precise sense, is universal as such.…

In the theory of crossed modules, considering arbitrary self-actions instead of conjugation allows for the extension of the concept of crossed modules and thus the notion of generalized crossed module emerges. In this paper we give a…

We define a new kind of classical digamma function, and establish its some fundamental identities. Then we apply the formulas obtained, and extend tools developed by Flajolet and Salvy to study more general Euler type sums. The main results…

We show that the Verdier quotients can be realized as subfactors by the homotopy theory of additive categories with suspensions developed in \cite{ZWLi2, ZWLi3}. As applications, we develop the homotopy theory of Nakaoka twin cotorsion…

This paper gives a foundation of log smooth deformation theory. We study the infinitesimal liftings of log smooth morphisms and show that the log smooth deformation functor has a representable hull. This deformation theory gives, for…

The paper is devoted to the comparison of the Fukaya category (it is responcible for the A-side of mirror symmetry) with the category of holonomic modules over the quantized algebra of functions on the same symplectic manifold. We…

A criterion for M\"uger centralizer of a fusion subcategory of a braided non-degenerate fusion category is given. Along the way we extend some identities on the space of class functions of a fusion category introduced by Shimizu in…

The $K$-$k$-Schur functions and $k$-Schur functions appeared in the study of $K$-theoretic and affine Schubert Calculus as polynomial representatives of Schubert classes. In this paper, we introduce a new family of symmetric functions…

To paraphrase, part I constructs a bundle of $A _{\infty}$ categories given the input of a Hamiltonian fibration over a smooth manifold. Here we show that this bundle is generally non-trivial by a sample computation. One principal…

Building upon the work of Stucker, Vennos, and Young we derive generalized Dedekind sums arising from period integrals applied to holomorphic Eisenstein series attached to pairs of primitive non-trivial Dirichlet characters. Furthermore, we…