English
Related papers

Related papers: Topological systems as a framework for institution…

200 papers

Recently, we have endowed various categories of groups with topologies. The purpose of this paper is to introduce on these categories others topologies which are statistically more suitable to study well-known problems in groups theory. We…

Algebraic Geometry · Mathematics 2013-02-14 Tsemo Aristide

In this paper, we deal with the problem of putting together modal worlds that operate in different logic systems. When evaluating a modal sentence $\Box \varphi$, we argue that it is not sufficient to inspect the truth of $\varphi$ in…

Logic · Mathematics 2022-03-02 Alfredo Roque Freire , Manuel A. Martins

Tensors, or multi-linear forms, are important objects in a variety of areas from analytics, to combinatorics, to computational complexity theory. Notions of tensor rank aim to quantify the "complexity" of these forms, and are thus also…

Computational Complexity · Computer Science 2023-06-16 Mandar Juvekar , Arian Nadjimzadah

We show that Hall conductance and its non-abelian and higher-dimensional analogs are obstructions to promoting a symmetry of a state to a gauge symmetry. To do this, we define a local Lie algebra over a Grothendieck site as a pre-cosheaf of…

Mathematical Physics · Physics 2026-03-30 Adam Artymowicz , Anton Kapustin , Bowen Yang

We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…

Algebraic Geometry · Mathematics 2024-12-10 Krzysztof Jan Nowak

The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…

Category Theory · Mathematics 2015-11-26 Juan Pablo Ramirez

Two important classes of quantum structures, namely orthomodular posets and orthomodular lattices, can be characterized in a classical context, using notions like partial information and points of view. Using the formalism of representation…

Quantum Physics · Physics 2007-05-23 Olivier Brunet

There have been several attempts in recent years to extend the notions of symplectic and Poisson structures in order to create a suitable geometrical framework for classical field theories, trying to achieve a success similar to the use of…

Mathematical Physics · Physics 2025-05-21 Manuel de León , Rubén Izquierdo-López

A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special…

Category Theory · Mathematics 2019-03-18 Patrick Schultz , David I. Spivak , Christina Vasilakopoulou

For the standard lattice model of information structures, we derive a reduced poset representation which provides the same informational content as the complete lattice structure which derives it. Rational agents can recover the complete…

General Economics · Economics 2025-07-31 Alex A. T. Rathke

In this work we study the Boolean Networks of different geometric shape and lattice organization. It was revealed that no only a spatial shape but also type of lattice are very important for definition of the structure-dynamics relation.…

Disordered Systems and Neural Networks · Physics 2015-06-25 O. Kirillova

We give a classification theorem for a relevant class of $t$-structures in triangulated categories, which includes in the case of the derived category of a Grothendieck category, the $t$-structures whose hearts have at most $n$ fixed…

Representation Theory · Mathematics 2014-12-31 Luisa Fiorot , Francesco Mattiello , Alberto Tonolo

In this paper a systematic study of the category GTS of generalized topological spaces (in the sense of H. Delfs and M. Knebusch) and their strictly continuous mappings begins. Some completeness and cocompleteness results are achieved.…

Logic · Mathematics 2020-09-09 Artur Piȩkosz

For the rational, elliptic and trigonometric r-matrices, we exhibit the links between three "levels" of Poisson spaces: (a) Some finite-dimensional spaces of matrix-valued holomorphic functions on the complex line; (b) Spaces of spectral…

Mathematical Physics · Physics 2009-01-22 J. Harnad , J. C. Hurtubise

Complex networks are universal, arising in fields as disparate as sociology, physics, and biology. In the past decade, extensive research into the properties and behaviors of complex systems has uncovered surprising commonalities among the…

Other Quantitative Biology · Quantitative Biology 2015-06-26 Claire Christensen , Reka Albert

This study aims to reinforce the theoretical foundation for diverse systems--including the axiomatic definition of intelligence--by introducing a mathematically rigorous and unified formal structure for the concept of 'state,' which has…

Artificial Intelligence · Computer Science 2025-08-05 Kei Itoh

Conventional approaches to lattice gauge theories do not properly consider the topology of spacetime or of its fields. In this paper, we develop a formulation which tries to remedy this defect. It starts from a cubical decomposition of the…

High Energy Physics - Lattice · Physics 2009-10-28 A. P. Balachandran , G. Bimonte , G. Landi , F. Lizzi , P. Teotonio-Sobrinho

Starting from filters over the set of indices, we introduce structures in a product of sets where the coordinate sets have the given structures.

General Topology · Mathematics 2013-02-18 Gustavo N. Rubiano

Our aim is to find some new links between linear (circular) orderability of groups and topological dynamics. We suggest natural analogs of the concept of algebraic orderability for topological groups involving order-preserving actions on…

Dynamical Systems · Mathematics 2022-09-29 Michael Megrelishvili

A new integrable lattice system is introduced, and its integrable discretizations are obtained. A B\"acklund transformation between this new system and the Toda lattice, as well as between their discretizations, is established.

solv-int · Physics 2009-10-30 Yuri B. Suris