English
Related papers

Related papers: Nakayama categories and groupoid quantization

200 papers

$\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…

Representation Theory · Mathematics 2022-06-23 Eric J. Hanson , Kiyoshi Igusa

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…

Algebraic Geometry · Mathematics 2026-04-28 Lisa Jeffrey , Matthew Koban , Steven Rayan

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.…

Algebraic Topology · Mathematics 2020-07-15 Yonatan Harpaz

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…

Group Theory · Mathematics 2014-11-04 Emmanuel D. Farjoun , Yoav Segev

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…

Quantum Algebra · Mathematics 2013-11-04 K. R. Goodearl , M. T. Yakimov

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.…

Mathematical Physics · Physics 2013-04-29 Jakob Ablinger , Johannes Blümlein

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…

Symplectic Geometry · Mathematics 2022-10-21 Mohammed Abouzaid , Nathaniel Bottman

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$,…

Representation Theory · Mathematics 2017-10-17 Wee Liang Gan , Liping Li , Changchang Xi

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…

Logic in Computer Science · Computer Science 2014-07-15 Joachim Kock

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…

High Energy Physics - Theory · Physics 2025-11-19 Dongmin Gang , Heeyeon Kim , Byoungyoon Park , Spencer Stubbs

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…

Symplectic Geometry · Mathematics 2023-08-10 Jack Smith

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…

Logic · Mathematics 2021-03-29 Jordan Mitchell Barrett , Valentino Vito

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…

Logic in Computer Science · Computer Science 2022-05-19 Lukas Heidemann , David Reutter , Jamie Vicary

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,…

Category Theory · Mathematics 2022-01-11 Jay Shah

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…

Category Theory · Mathematics 2023-04-11 Tobias Fritz , Wendong Liang

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…

Algebraic Topology · Mathematics 2010-10-19 K. Shimakawa , K. Yoshida , T. Haraguchi

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…

General Relativity and Quantum Cosmology · Physics 2015-02-18 Andrei T. Patrascu

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…

Category Theory · Mathematics 2020-11-03 Jian He , Panyue Zhou

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…

Logic in Computer Science · Computer Science 2020-05-13 David McAllester

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…

Rings and Algebras · Mathematics 2015-11-03 Zhaoyong Huang