English
Related papers

Related papers: Dualities between finitely separated structures

200 papers

Orthogonality is a notion based on the duality between programs and their environments used to determine when they can be safely combined. For instance, it is a powerful tool to establish termination properties in classical formal systems.…

Logic in Computer Science · Computer Science 2024-02-14 Marcelo Fiore , Zeinab Galal , Farzad Jafarrahmani

We show that manifolds which parameterize values of first integrals of integrable finite-dimensional bihamiltonian systems carry a geometric structure which we call a {\em Kronecker web}. We describe two functors between Kronecker webs and…

Symplectic Geometry · Mathematics 2007-05-23 Ilya Zakharevich

Structures of commuting semigroups of isometries under certain additional assumptions like double commutativity or dual double commutativity are found.

Functional Analysis · Mathematics 2023-06-27 Tirthankar Bhattacharyya , Shubham Rastogi , Vijaya Kumar U

Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…

Category Theory · Mathematics 2015-08-11 Joaquín Díaz Boils

We review the notion of symplectic duality earlier introduced in the context of topological recursion. We show that the transformation of symplectic duality can be expressed as a composition of $x-y$ dualities in a broader context of log…

Mathematical Physics · Physics 2024-12-05 Alexander Alexandrov , Boris Bychkov , Petr Dunin-Barkowski , Maxim Kazarian , Sergey Shadrin

We study intersections of projective convex sets in the sense of Steinitz. In a projective space, an intersection of a nonempty family of convex sets splits into multiple connected components each of which is a convex set. Hence, such an…

Metric Geometry · Mathematics 2010-05-12 Takahisa Toda

We study homological properties of a locally complete intersection ring by importing facts from homological algebra over exterior algebras. One application is showing that the thick subcategories of the bounded derived category of a locally…

Commutative Algebra · Mathematics 2021-09-21 Jian Liu , Josh Pollitz

We give a systematic and self-contained account of the construction of geometrically decomposed bases and degrees of freedom in finite element exterior calculus. In particular, we elaborate upon a previously overlooked basis for one of the…

Numerical Analysis · Mathematics 2022-10-24 Martin W. Licht

We relate a construction of Kadeishvili's establishing an A-infinity-structure on the homology of a differential graded algebra or more generally of an A-infinity algebra with certain constructions of Chen and Gugenheim. Thereafter we…

Algebraic Topology · Mathematics 2013-03-12 Johannes Huebschmann

The aim of this paper is to study categorified algebraic structures and their pseudo- and lax homomorphisms using the framework of Lawvere $2$-theories, and more generally, (enhanced) $2$-dimensional sketches. The key notion we focus on is…

Category Theory · Mathematics 2026-02-17 Tomáš Perutka

The literature in persistent homology often refers to a "structure theorem for finitely generated graded modules over a graded principal ideal domain". We clarify the nature of this structure theorem in this context.

Commutative Algebra · Mathematics 2023-02-07 Clara Loeh

We study 2-monads and their algebras using a Cat-enriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2-categorical points of view. Every 2-category with finite limits and colimits has a…

Category Theory · Mathematics 2010-09-10 Stephen Lack

We recently conjectured a set of dualities relating two-dimensional orthogonal gauge theories with $\mathcal{N}=(4,4)$ supersymmetry, analogous to Hori's dualities with $\mathcal{N}=(2,2)$ supersymmetry. Here we provide a quantitative test…

High Energy Physics - Theory · Physics 2019-07-24 Eran Avraham , Oren Bergman

We develop a homological duality framework based on a contravariant functor $D=\operatorname{Hom}_E(-,R)$ with dualizing object $R$. A morphism is called ethic when it satisfies the canonical double-dual compatibility $D^2(f)\eta=\eta f$.…

Category Theory · Mathematics 2025-12-22 Dmitry Pasechnyuk-Vilensky , Martin Takáč

We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an…

Category Theory · Mathematics 2022-10-25 Philip Hackney , Martina Rovelli

We study a twisted generalization of Novikov superalgebras, called Hom-Novikov superalgebras. It is shown that two classes of Hom-Novikov superalgebras can be constructed from Hom-supercommutative algebras together with derivations and…

Rings and Algebras · Mathematics 2015-01-05 Bing Sun , Liangyun Chen , Yan Liu

We define 2-calibrated structures, which are analogs of symplectic structures in odd dimensions. We show the existence of differential topological constructions compatible with the structure.

Differential Geometry · Mathematics 2018-07-31 David Martinez Torres

Applying a general categorical construction for the extension of dualities, we present a new proof of the Fedorchuk duality between the category of compact Hausdorff spaces with their quasi-open mappings and the category of complete normal…

General Topology · Mathematics 2019-06-14 G. Dimov , E. Ivanova-Dimova , W. Tholen

In this paper we systematically describe relations between various structure sets which arise naturally for pairs of compact topological manifolds with boundary. Our consideration is based on a deep analogy between the case of a compact…

Algebraic Topology · Mathematics 2009-11-24 Matija Cencelj , Yurij V. Muranov , Dušan Repovš

In this paper we develop a duality theory for all finite-dimensional near-vector spaces and introduce a notion of inner product tailored to the broad and natural class of strongly regular near-vector spaces. This generalized construction…

General Mathematics · Mathematics 2025-11-18 Leeandro Boonzaaier , Sophie Marques , Daniella Moore