Related papers: Morphisms and Duality for Polarities and Lattices …
We define and study logics in the framework of probabilistic team semantics and over metafinite structures. Our work is paralleled by the recent development of novel axiomatizable and tractable logics in team semantics that are closed under…
We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…
Predicate logic is the premier choice for specifying classes of relational structures. Homomorphisms are key to describing correspondences between relational structures. Questions concerning the interdependencies between these two means of…
We develop a nonperturbative approach to the bulk polarization of crystalline electric insulators in $d\geq1$ dimensions. Formally, we define polarization via the response to background fluxes of both charge and lattice translation…
Algebraic structures with multiple copies of a given type of operations interrelated by various compatibility conditions have long being studied in mathematics and mathematical physics. They are broadly referred as linearly compatible,…
Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…
We study the behavior of the modular class of a Lie algebroid under general Lie algebroid morphisms by introducing the relative modular class. We investigate the modular classes of pull-back morphisms and of base-preserving morphisms…
By a result of Vallette, we put a sensible model structure on the category of conilpotent Lie coalgebras. This gives us a powerful tool to study the subcategory of Lie algebras obtained by linear dualization, also known as the category of…
We show that there is a logarithmic algebraic space parameterizing logarithmic morphisms between fixed logarithmic schemes when those logarithmic schemes satisfy natural hypotheses. As a corollary, we obtain the algebraicity of the stack of…
RS-frames were introduced by Gehrke as relational semantics for substructural logics. They are two-sorted structures, based on RS-polarities with additional relations used to interpret modalities. We propose an intuitive, epistemic…
The purpose of this paper is to study deformation theory of Hom-associative algebra morphisms and Hom-Lie algebra morphisms. We introduce a suitable cohomology and discuss Infinitesimal deformations, equivalent deformations and…
We study duals for objects and adjoints for $k$-morphisms in $\operatorname{Alg}_n(\mathcal{S})$, an $(\infty,n+N)$-category that models a higher Morita category for $E_n$ algebra objects in a symmetric monoidal $(\infty,N)$-category…
We provide new criteria for the integrality and birationality of an extension of graded algebras in terms of the general notion of polar multiplicities of Kleiman and Thorup. As an application, we obtain a new criterion for when a module is…
We present some general theorems about operator algebras that are algebras of functions on sets, including theories of local algebras, residually finite dimensional operator algebras and algebras that can be represented as the scalar…
Motivated by the intermediate Lang conjectures on hyperbolicity and rational points, we prove new finiteness results for non-constant morphisms from a fixed variety to a fixed variety defined over a number field by applying Faltings's…
We develop a first order formalism for constructing gravitational duals of conformal defects in a bottom up approach. Similarly as for the flat domain walls a single function specifies the solution completely. Using this formalism we…
Holliday recently introduced a non-classical logic called Fundamental Logic, which intends to capture exactly those properties of the connectives "and", "or" and "not" that hold in virtue of their introduction and elimination rules in…
We introduce mappings between spaces of functions on (super)manifolds that generalize pullbacks with respect to smooth maps but are, in general, nonlinear (actually, formal). The construction is based on canonical relations and generating…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
We extend the notion of T-duality to manifolds endowed with non-principal torus actions. The singularities of the torus action are controlled by a certain Lie algebroid, called the elliptic tangent bundle. Using this Lie algebroid, we…