Related papers: From contact relations to modal operators, and bac…

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

We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we prove that such a formulation is valid in the homotopy…

Using the unbounded picture of analytical K-homology, we associate a well-defined K-homology class to an unbounded symmetric operator satisfying certain mild technical conditions. We also establish an ``addition formula'' for the Dirac…

For a marked point process $\{(x_i,S_i)_{i\geq 1}\}$ with $\{x_i\in \Lambda:i\geq 1\}$ being a point process on $\Lambda \subseteq \mathbb{R}^d$ and $\{S_i\subseteq R^d:i\geq 1\}$ being random sets consider the region $C=\cup_{i\geq…

I investigate the modal commitments of various conceptions of the philosophy of arithmetic potentialism. Specifically, I shall consider the potentialist conceptions arising from a model-theoretic view of the models of arithmetic as possible…

Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…

Algebraists asked whether or not an operator on the module of smooth sections of the tangent bundle over the commutative ring of smooth functions of a smooth (orientable) manifold (can be any piece of a compact or a complete manifold) can…

In the high-energy quantum-physics literature one finds statements such as "matrix algebras converge to the sphere". Earlier I provided a general setting for understanding such statements, in which the matrix algebras are viewed as compact…

Combining the notions of braces and relative Rota-Baxter operators on groups in connection with the Yang-Baxter equation and a factorization theorem of Lie groups from integrable systems, relative Rota-Baxter operators on braces and…

We show that if a manifold M admits a contact structure, then so does M\times S^2. Our proof relies on surgery theory, a theorem of Eliashberg on contact surgery and a theorem of Bourgeois showing that if M admits a contact structure then…

Configuration polynomials generalize the classical Kirchhoff polynomial defined by a graph. Their study sheds light on certain polynomials appearing in Feynman integrands. Contact equivalence provides a way to study the associated…

A Rota--Baxter operator is an algebraic abstraction of integration, which is the typical example of a weight zero Rota-Baxter operator. We show that studying the modules over the polynomial Rota--Baxter algebra $(k[x],P)$ is equivalent to…

A new construction of a universal connection was given in \cite{BHS}. The main aim here is to explain this construction. A theorem of Atiyah and Weil says that a holomorphic vector bundle $E$ over a compact Riemann surface admits a…

We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…

In this paper, we are interested in studying the set $\mathcal{A}_{\|\cdot\|}(X, Y)$ of all norm-attaining operators $T$ from $X$ into $Y$ satisfying the following: given $\epsilon>0$, there exists $\eta$ such that if $\|Tx\| > 1 - \eta$,…

A commutative Rota-Baxter algebra can be regarded as a commutative algebra that carries an abstraction of the integral operator. With the motivation of generalizing the study of algebraic geometry to Rota-Baxter algebra, we extend the…

In this article, we answer-for a class of magnetic systems-a question now known as the contact type conjecture, whose origin trace back to the 1998 work of Contreras, Iturriaga, Paternain, and Paternain. For a broad class of magnetic…

We prove two completeness results for Kleene algebra with tests and a top element, with respect to guarded string languages and binary relations. While the equational theories of those two classes of models coincide over the signature of…

We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant…