English
Related papers

Related papers: Distributive Mereotopology: Extended distributive …

200 papers

A central question in cognitive science is whether conceptual representations converge onto a shared manifold to support generalization, or diverge into orthogonal subspaces to minimize task interference. While prior work has discovered…

Computation and Language · Computer Science 2026-02-09 Zhimin Hu , Lanhao Niu , Sashank Varma

Constructive meaning is given to the assertion that every finite Boolean algebra is an injective object in the category of distributive lattices. To this end, we employ Scott's notion of entailment relation, in which context we describe…

Logic in Computer Science · Computer Science 2023-06-22 Davide Rinaldi , Daniel Wessel

We study relationship between first order multiplicative linear logic (MLL1), which has been known to provide representations to different categorial grammars, and the recently introduced extended tensor type calculus (ETTC). We identify a…

Computation and Language · Computer Science 2022-01-03 Sergey Slavnov

The enduring legacy of Euclidean geometry underpins classical machine learning, which, for decades, has been primarily developed for data lying in Euclidean space. Yet, modern machine learning increasingly encounters richly structured data…

The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…

Algebraic Topology · Mathematics 2025-03-11 Gregory Ginot , Sinan Yalin

This paper challenges some of the common assumptions underlying the mathematics used to describe the physical world. We start by reviewing many of the assumptions underlying the concepts of real, physical, rigid bodies and the translational…

Mathematical Physics · Physics 2010-05-06 Philip H. Butler , Niels G. Gresnigt , Peter F. Renaud

Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language. In particular, certain bilattices have been used to model…

Rings and Algebras · Mathematics 2013-11-13 L. M. Cabrer , A. P. K. Craig , H. A. Priestley

We study low-dimensional problems in topology and geometry via a study of contact and Cauchy-Riemann ($CR$) structures. A contact structure is called spherical if it admits a compatible spherical $CR$ structure. We will talk about spherical…

Symplectic Geometry · Mathematics 2007-05-23 Jih-Hsin Cheng

A representation embedding between cartesian theories can be defined to be a functor between respective categories of models that preserves finitely-generated projective models and that preserves and reflects certain epimorphisms. This…

Representation Theory · Mathematics 2017-11-09 Michael Lambert

We develop dualities for complete perfect distributive quasi relation algebras and complete perfect distributive involutive FL-algebras. The duals are partially ordered frames with additional structure. These frames are analogous to the…

Logic in Computer Science · Computer Science 2026-01-30 Andrew Craig , Peter Jipsen , Claudette Robinson

We define and analyse the properties of contact Lie systems, namely systems of first-order differential equations describing the integral curves of a $t$-dependent vector field taking values in a finite-dimensional Lie algebra of…

Mathematical Physics · Physics 2023-08-09 Javier de Lucas , Xavier Rivas

A distributive lattice structure ${\mathbf M}(G)$ has been established on the set of perfect matchings of a plane bipartite graph $G$. We call a lattice {\em matchable distributive lattice} (simply MDL) if it is isomorphic to such a…

Combinatorics · Mathematics 2015-03-09 Heping Zhang , Dewu Yang , Haiyuan Yao

The goal of this paper is to present an algebraic approach to the basic results of the theory of linear recurrence relations. This approach is based on the ideas from the theory of representations of one endomorphisms (a special case of…

Combinatorics · Mathematics 2016-04-19 Nikolai V. Ivanov

Integral calculus on the space of gauge equivalent connections is developed. Loops, knots, links and graphs feature prominently in this description. The framework is well--suited for quantization of diffeomorphism invariant theories of…

General Relativity and Quantum Cosmology · Physics 2016-08-31 Abhay Ashtekar , Jerzy Lewandowski

The main goal of this thesis is to develop the integration theory of curved homotopy Lie algebras. In the first chapter, we develop the operadic calculus needed: we encode non-necessarily conilpotent coalgebras with operads and introduce…

Algebraic Topology · Mathematics 2022-07-25 Victor Roca i Lucio

Recent advances in cellular research demonstrate that scRNA-seq characterizes cellular heterogeneity, while spatial transcriptomics reveals the spatial distribution of gene expression. Cell representation is the fundamental issue in the two…

Genomics · Quantitative Biology 2025-01-16 Kai Zheng , Shaokai Wang , Yunpei Xu , Qiming Lei , Qichang Zhao , Xiao Liang , Qilong Feng , Yaohang Li , Min Li , Jinhui Xu , Jianxin Wang

A contact manifold is a manifold equipped with a distribution of codimension one that satisfies a `maximal non-integrability' condition. A standard example of a contact structure is a strictly pseudoconvex CR manifold, and operators of…

Differential Geometry · Mathematics 2011-11-28 Erik van Erp

We investigate two optimization problems on area-proportional rectangle contact representations for layered, embedded planar graphs. The vertices are represented as interior-disjoint unit-height rectangles of prescribed widths, grouped in…

Computational Geometry · Computer Science 2021-08-25 Martin Nöllenburg , Anaïs Villedieu , Jules Wulms

This paper is a continuation of [arXiv:1603.02204]. Exploded layered tropical (ELT) algebra is an extension of tropical algebra with a structure of layers. These layers allow us to use classical algebraic results in order to easily prove…

Rings and Algebras · Mathematics 2017-05-02 Guy Blachar , Erez Sheiner

A closure endomorphism of a Hilbert algebra A is a mapping that is simultaneously an endomorphism of and a closure operator on A. It is known that the set CE of all closure endomorphisms of A is a distributive lattice where the meet of two…

Rings and Algebras · Mathematics 2022-11-03 Jānis Cīrulis