Related papers: Vector spaces as Kripke frames

In this paper we define 2-vector bundles as suitable bundles of 2-vector spaces over a base space, and compare the resulting 2-K-theory with the algebraic K-theory spectrum K(V) of the 2-category of 2-vector spaces, as well as the algebraic…

We introduce a model for constructing vector representations of words by composing characters using bidirectional LSTMs. Relative to traditional word representation models that have independent vectors for each word type, our model requires…

Capturing the meaning of sentences has long been a challenging task. Current models tend to apply linear combinations of word features to conduct semantic composition for bigger-granularity units e.g. phrases, sentences, and documents.…

We consider a moduli space of lattice polarized K3 surfaces with the additional information of a frame of the trascendental cohomology with respect to the lattice polarization. This moduli space is proved to be quasi-affine, and the…

Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an intuitionistic substructural logic called…

Given a locally convex vector space with a topology induced by Hilbert seminorms and a continuous bilinear form on it we construct a topology on its symmetric algebra such that the usual star product of exponential type becomes continuous.…

The purpose of this paper is to present the mathematical techniques of a new quantum scheme using a dual pair of reflexive topological vector spaces in terms of the non-Hermitian form. The scheme is shown to be a generalization of the…

We propose a new linear algebraic approach to the computation of Tarskian semantics in logic. We embed a finite model M in first-order logic with N entities in N-dimensional Euclidean space R^N by mapping entities of M to N dimensional…

We define symmetric bundles as vector bundles in the category of symmetric spaces; it is shown that this notion is the geometric analog of the one of a representation of a Lie triple system. We show that such a bundle has an underlying…

This thesis contributes to ongoing research related to the categorical compositional model for natural language of Coecke, Sadrzadeh and Clark in three ways: Firstly, I propose a concrete instantiation of the abstract framework based on…

We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…

Logic programming has developed as a rich field, built over a logical substratum whose main constituent is a nonclassical form of negation, sometimes coexisting with classical negation. The field has seen the advent of a number of…

We introduce a systematic mathematical language for describing fixed point models and apply it to the study to topological phases of matter. The framework is reminiscent of state-sum models and lattice topological quantum field theories,…

We consider different characterizations of Triebel--Lizorkin type spaces of analytic functions on the unit disc. Even though our results appear in the folklore, detailed descriptions are hard to find, and in fact we are unable to discuss…

We compute the value of finitary localizing invariants, including algebraic $K$-theory, on categories of sheaves over stably locally compact spaces $X$. Our formula simultaneously generalizes the cases of locally compact Hausdorff and…

In this note, we find a sharp bound for the minimal number (or in general, indexing set) of subspaces of a fixed (finite) codimension needed to cover any vector space V over any field. If V is a finite set, this is related to the problem of…

Morphologically rich languages accentuate two properties of distributional vector space models: 1) the difficulty of inducing accurate representations for low-frequency word forms; and 2) insensitivity to distinct lexical relations that…

In this paper we focus on a certain self-distributive multiplication on coalgebras, which leads to so-called rack bialgebra. Inspired by semi-group theory (adapting the Suschkewitsch theorem), we do some structure theory for rack bialgebras…

We show that the classification of the symmetric spaces can be achieved by K-theoretical methods. We focus on Hermitian symmetric spaces of non-compact type, and define K-theory for JB*-triples along the lines of C*-theory. K-groups have to…

In traditional Distributional Semantic Models (DSMs) the multiple senses of a polysemous word are conflated into a single vector space representation. In this work, we propose a DSM that learns multiple distributional representations of a…