Related papers: Quantale semantics of Lambek calculus with subexpo…
Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$-basic varieties) as classes of quantitative…
We consider the invariants Ker and Im for commutative squares in quasi-abelian categories. These invariants were introduced by Lambek for groups and then studied by Hilton and Nomura in exact categories.
We establish a Kantorovich duality for the pseudometric $\mathcal{E}_\hbar$ introduced in [F. Golse, T. Paul, Arch. Rational Mech. Anal. 223 (2017), 57--94], obtained from the usual Monge-Kantorovich distance $d_{MK,2}$ between classical…
Using a combinatorial description due to Jacon and Lecouvey of the wall crossing bijections for cyclotomic rational Cherednik algebras, we show that the irreducible representations $L_c(\lambda^\pm)$ of the rational Cherednik algebra…
The topological $\mu$-calculus has gathered attention in recent years as a powerful framework for representation of spatial knowledge. In particular, spatial relations can be represented over finite structures in the guise of weakly…
The first part of this thesis deals with certain properties of the quantum symmetric and exterior algebras of Type 1 representations of $U_q(g)$ defined by Berenstein and Zwicknagl. We define a notion of a commutative algebra object in a…
We study unitarity of lowest weight irreducible representations of rational Cherednik algebras. We prove several general results, and use them to determine which lowest weight representations are unitary in a number of cases. In particular,…
We investigate a class of nominal algebraic Henkin-style models for the simply typed lambda-calculus in which variables map to names in the denotation and lambda-abstraction maps to a (non-functional) name-abstraction operation. The…
We use the theory of the quantum group $U_q(gl(2,\RR))$ in order to develop a quantum theory of invariants and show a decomposition of invariants into a Gordan-Capelli series. Higher binary forms are introduced on the basis of braided…
Gopal Prasad and A. S. Rapinchuk defined a notion of weakly commensurable lattices in a semisimple group, and gave a classification of weakly commensurable Zariski dense subgroups. A motivation was to classify pairs of locally symmetric…
The Lie algebra gl(lambda) dependent on the complex parameter lambda is a continuous version of the Lie algebra gl(inf) of infinite matrices with only finite number of nonzero entries. The gl(lambda) was first introduced by B.L.Feigin in…
The Kripke semantics of classical propositional normal modal logic is made algebraic via an embedding of Kripke structures into the larger class of pointed stably supported quantales. This algebraic semantics subsumes the traditional…
We construct super-version of Quantum Representation Theory. The quadratic super-algebras and operations on them are described. We also describe some important monoidal functors. We proved that the monoidal category of graded super-algebras…
In this paper we attempt to consider quantum superpositions from the perspective of the logos categorical approach presented in [26]. We will argue that our approach allows us not only to better visualize the structural features of quantum…
In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the $\{\rightarrow,\wedge,\top\}$-fragment of intuitionistic logic is the…
Lambek and Scott constructed a correspondence between simply-typed lambda calculi and Cartesian closed categories. Scott's Representation Theorem is a cousin to this result for untyped lambda calculi. It states that every untyped lambda…
We construct Quantum Representation Theory which describes quantum analogue of representations in frame of "non-commutative linear geometry" developed by Manin. To do it we generalise the internal hom-functor to the case of adjunction with…
`Umbral calculus' deals with representations of the canonical commutation relations. We present a short exposition of it and discuss how this calculus can be used to discretize continuum models and to construct representations of Lie…
We revisit the Vectorial Lambda Calculus, a typed version of Lineal. Vectorial (as well as Lineal) has been originally designed for quantum computing, as an extension to System F where linear combinations of lambda terms are also terms and…
The present paper develops a general theory of quantum group analogs of symmetric pairs for involutive automorphism of the second kind of symmetrizable Kac-Moody algebras. The resulting quantum symmetric pairs are right coideal subalgebras…