Related papers: Nakayama categories and groupoid quantization
$\tau$-cluster morphism categories, introduced by Buan and Marsh, are a generalization of cluster morphism categories (defined by Igusa and Todorov). We show the classifying space of such a category is a cube complex, generalizing results…
We introduce the notion of a Nakajima bundle representation. Given a labelled quiver and a variety or manifold $X$, such a representation involves an assignment of a complex vector bundle on $X$ to each node of the doubled quiver; to the…
Pursuing the notions of ambidexterity and higher semiadditivity as developed by Hopkins and Lurie, we prove that the span $\infty$-category of $m$-finite spaces is the free $m$-semiadditive $\infty$-category generated by a single object.…
Let $\varphi\colon\Gamma\to G$ be a homomorphism of groups. We consider factorizations $\Gamma\xrightarrow{f} M\xrightarrow{g} G$ of $\varphi$ such that either $g$ or $f$ are universal normal maps (namely, crossed modules). These two…
Automorphisms of algebras $R$ from a very large axiomatic class of quantum nilpotent algebras are studied using techniques from noncommutative unique factorization domains and quantum cluster algebras. First, the Nakayama automorphism of…
In these introductory lectures we discuss classes of presently known nested sums, associated iterated integrals, and special constants which hierarchically appear in the evaluation of massless and massive Feynman diagrams at higher loops.…
Categorical symplectic geometry is the study of a rich collection of invariants of symplectic manifolds, including the Fukaya $A_\infty$-category, Floer cohomology, and symplectic cohomology. Beginning with work of Wehrheim and Woodward in…
Using the Nakayama functor, we construct an equivalence from a Serre quotient category of a category of finitely generated modules to a category of finite-dimensional modules. We then apply this result to the categories FI$_G$ and VI$_q$,…
Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect…
It is known that a large class of characters of 2d conformal field theories (CFTs) can be written in the form of a Nahm sum. In \cite{Zagier:2007knq}, D. Zagier identified a list of Nahm sum expressions that are modular functions under a…
Let $X$ be a compact toric variety. The quantum cohomology of $X$ decomposes as a direct sum, and associated to each summand $Q$ is a toric fibre $L_Q$ with rank $1$ local system. By building an explicit twisted-complex-like object, we show…
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…
The theory of associative $n$-categories has recently been proposed as a strictly associative and unital approach to higher category theory. As a foundation for a proof assistant, this is potentially attractive, since it has the potential…
We develop parametrized generalizations of a number of fundamental concepts in the theory of $\infty$-categories, including factorization systems, free fibrations, exponentiable fibrations, relative colimits and relative Kan extensions,…
Categorical probability has recently seen significant advances through the formalism of Markov categories, within which several classical theorems have been proven in entirely abstract categorical terms. Closely related to Markov categories…
We show that the category of numerically generated pointed spaces is complete, cocomplete, and monoidally closed with respect to the smash product, and then utilize these features to establish a simple but flexible method for constructing…
I present a method of quantization using cohomology groups extended via coefficient groups of different types. This is possible according to the Universal Coefficient Theorem (UCT). I also show that by using this method new features of…
Herschend-Liu-Nakaoka introduced the notion of $n$-exangulated categories. It is not only a higher dimensional analogue of extriangulated categories defined by Nakaoka-Palu, but also gives a simultaneous generalization of $(n+2)$-angulated…
Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of…
We introduce relative preresolving subcategories and precoresolving subcategories of an abelian category and define homological dimensions and codimensions relative to these subcategories respectively. We study the properties of these…