Related papers: From contact relations to modal operators, and bac…
Given the family $P$ of all nonempty subsets of a set $U$ of alternatives, a choice over $U$ is a function $c \colon \Omega \to P$ such that $\Omega \subseteq P$ and $c(B) \subseteq B$ for all menus $B \in \Omega$. A choice is total if…
Many of the existing results for closed Hamiltonian G-manifolds are based on the analysis of the corresponding Hamiltonian functions using Morse-Bott techniques. In general such methods fail for non-compact manifolds or for manifolds with…
The aim of this paper is to give a new method to construct explicit formulas for algebraic differential operators of any order on a finitely generated projective module $E$ on a commutative unital ring $A$. We moreover give explicit…
Kock [Bull. Austral. Math. Soc., 25 (1982), 357-386] has considered differential forms with values in a group in a context where neighborhood relations are available. By doing so, he has made it clear where the so-called Maurer-Cartan…
We extend the logical categories framework to first order modal logic. In our modal categories, modal operators are applied directly to subobjects and interact with the background factorization system. We prove a Joyal-style representation…
Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal…
Let $X$ be a finite connected graph, each of whose vertices has degree at least three. The fundamental group $\Gamma$ of $X$ is a free group and acts on the universal covering tree $\Delta$ and on its boundary $\partial \Delta$, endowed…
A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; the core companion of a theory $T$ is a model-complete core theory $S$ such that every model…
We introduce notions of open-string vertex algebra, conformal open-string vertex algebra and variants of these notions. These are ``open-string-theoretic,'' ``noncommutative'' generalizations of the notions of vertex algebra and of…
We introduce a Morita type equivalence: two operator algebras $A$ and $B$ are called strongly $\Delta $-equivalent if they have completely isometric representations $\alpha $ and $\beta $ respectively and there exists a ternary ring of…
In the spirit of the geometric approach to two-dimensional conformal field theory, we explicitly associate to every holomorphic vertex operator algebra a section of a power of Hodge line bundle on the moduli space of curves of arbitrary…
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
This paper is the second in a series investigating cartesian closed varieties. In first of these, we showed that every non-degenerate finitary cartesian variety is a variety of sets equipped with an action by a Boolean algebra B and a…
The primary purpose of the present paper is to investigate when relations of the types $|AB|=|A||B|$, $|A\pm B|\leq |A|+|B|$, $||A|-|B||\leq |A\pm B|$ and $|\overline{\text{Re} A}|\leq |A|$ (among others) hold in an unbounded operator…
We apply the factorization and vector bundle propositionerty of the sheaves of conformal blocks on $\overline{\mathscr{M}}_{g,n}$. defined by vertex operator algebras (VOAs) and give geometric proofs of essential results in the…
A $\mu$-algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms $(f,\mu_{x}.f)$ where $\mu_{x}.f$ is axiomatized as the least prefixed point of $f$, whose axioms are…
The concepts of a conditional set, a conditional inclusion relation and a conditional Cartesian product are introduced. The resulting conditional set theory is sufficiently rich in order to construct a conditional topology, a conditional…
Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…
This paper begins the study of relations between Riemannian geometry and global properties of contact structures on 3-manifolds. In particular we prove an analog of the sphere theorem from Riemannian geometry in the setting of contact…
For a closed oriented 3-manifold Y, we define an absolute grading on the Heegaard Floer homology groups of Y by homotopy classes of oriented 2-plane fields. We show that this absolute grading refines the relative one and that it is…