English
Related papers

Related papers: Polycategorical Constructions for Unitary Supermap…

200 papers

We introduce a polyadic analog of supersymmetry by considering the polyadization procedure (proposed by the author) applied to the toy model of one-dimensional supersymmetric quantum mechanics. The supercharges are generalized to polyadic…

High Energy Physics - Theory · Physics 2025-04-14 Steven Duplij

We give combinatorial models for the homotopy type of complements of elliptic arrangements (i.e., certain sets of abelian subvarieties in a product of elliptic curves). We give a presentation of the fundamental group of such spaces and, as…

Algebraic Topology · Mathematics 2021-08-25 Emanuele Delucchi , Roberto Pagaria

We introduce a strategy to study irreducible representations of automorphism groups of finite modules over local rings. We prove that these automorphism groups fit in a hierarchy that facilitates a stratification of their irreducible…

Representation Theory · Mathematics 2024-11-26 Tyrone Crisp , Ehud Meir , Uri Onn

Category theory provides a compact method of encoding mathematical structures in a uniform way, thereby enabling the use of general theorems on, for example, equivalence and universal constructions. In this article we develop the method of…

Mathematical Physics · Physics 2007-05-23 P. V. Golubtsov , S. S. Moskaliuk

Within the framework of braided or quasisymmetric monoidal categories braided Q-supersymmetry is investigated, where Q is a certain functorial isomorphism in a braided symmetric monoidal category. For an ordinary (co-)quasitriangular Hopf…

High Energy Physics - Theory · Physics 2007-05-23 Bernhard Drabant

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

Logic in Computer Science · Computer Science 2015-07-01 Hyvernat Pierre

Let $\mathcal C$ be a category with finite colimits, and let $(\mathcal E,\mathcal M)$ be a factorisation system on $\mathcal C$ with $\mathcal M$ stable under pushouts. Writing $\mathcal C;\mathcal M^{\mathrm{op}}$ for the symmetric…

Category Theory · Mathematics 2017-03-30 Brendan Fong

We study categorical models for the unitless fragment of multiplicative linear logic. We find that the appropriate notion of model is a special kind of promonoidal category. Since the theory of promonoidal categories has not been developed…

Logic in Computer Science · Computer Science 2013-05-14 Robin Houston

We prove that the homotopy theory of parsummable categories (as defined by Schwede) with respect to the underlying equivalences of categories is equivalent to the usual homotopy theory of symmetric monoidal categories. In particular, this…

Category Theory · Mathematics 2021-05-13 Tobias Lenz

We extend Thomason's homotopy colimit construction in the category of permutative categories to categories of algebras over an arbitrary $\Cat$ operad and analyze its properties. We then use this homotopy colimit to prove that the…

Algebraic Topology · Mathematics 2013-07-31 Zbigniew Fiedorowicz , Manfred Stelzer , Rainer M. Vogt

The class of special generic maps contains Morse functions with exactly two singular points, characterizing spheres topologically which are not $4$-dimensional and the $4$-dimensional unit sphere. This class is for higher dimensional…

Algebraic Topology · Mathematics 2022-09-20 Naoki Kitazawa

Structural subtyping and parametric polymorphism provide similar flexibility and reusability to programmers. For example, both features enable the programmer to provide a wider record as an argument to a function that expects a narrower…

Programming Languages · Computer Science 2023-09-12 Wenhao Tang , Daniel Hillerström , James McKinna , Michel Steuwer , Ornela Dardha , Rongxiao Fu , Sam Lindley

In this article we develop a new way of systematically constructing infinitely many families of smooth subvarieties $X$ of any given dimension $m$, $m \geq 3$, and any given codimension in $\mathbb P^N$, embedded by complete subcanonical…

Algebraic Geometry · Mathematics 2022-12-20 Purnaprajna Bangere , Francisco Javier Gallego , Jayan Mukherjee , Debaditya Raychaudhury

A fundamental fact for the algebraic theory of constraint satisfaction problems (CSPs) over a fixed template is that pp-interpretations between at most countable \omega-categorical relational structures have two algebraic counterparts for…

Logic · Mathematics 2017-01-25 Libor Barto , Jakub Opršal , Michael Pinsker

We announce two breakthrough results concerning important questions in the Theory of Computational Complexity. In this expository paper, a systematic and comprehensive geometric characterization of the Subset Sum Problem is presented. We…

Computational Complexity · Computer Science 2025-11-21 Srinivas Balaji Bollepalli

We construct universal monoidal categories of topological tensor supermodules over the Lie superalgebras $\mathfrak{gl}(V\oplus \Pi V)$ and $\mathfrak{osp}(V\oplus \Pi V)$ associated with a Tate space $V$. Here $V\oplus \Pi V$ is a…

Representation Theory · Mathematics 2023-01-24 Francesco Esposito , Ivan Penkov

In this paper, we construct cochain complexes generated by the cohomology of critical manifolds in the abstract setup of flow categories for Morse-Bott theories under minimum transversality assumptions. We discuss the relations between…

Symplectic Geometry · Mathematics 2024-07-10 Zhengyi Zhou

We show that every definable subset of an uncountably categorical pseudofinite structure has pseudofinite cardinality which is polynomial (over the rationals) in the size of any strongly minimal subset, with the degree of the polynomial…

Logic · Mathematics 2025-02-05 Alexander Van Abel

The monoid of multipliers of a semigroup object in a monoidal category is introduced, arising from an abstraction of the definition of the translational hull of an ordinary semigroup or of the multiplier algebra of a Banach algebra and…

Category Theory · Mathematics 2022-07-08 Laurent Poinsot

We develop a systematic algorithm for constructing an N-fold supersymmetric system from a given vector space invariant under one of the supercharges. Applying this algorithm to spaces of monomials, we construct a new multi-parameter family…

High Energy Physics - Theory · Physics 2007-05-23 Artemio Gonzalez-Lopez , Toshiaki Tanaka