Related papers: Design-theoretic analogies between codes, lattices…
The present work presents some results about the categorial relation between logics and its categories of structures. A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra.…
We introduce in this section an Algebraic and Combinatorial approach to the theory of Numbers. The approach rests on the observation that numbers can be identified with familiar combinatorial objects namely rooted trees, which we shall here…
We investigate the category of ``matricial order operator spaces,'' which generalize operator systems, being equipped with both matricial norms and matricial order. For these objects, we develop duality theory. Taking a cue from the theory…
Higher structures - infinity algebras and other objects up to homotopy, categorified algebras, `oidified' concepts, operads, higher categories, higher Lie theory, higher gauge theory... - are currently intensively investigated in…
Geometric algebra is an optimal frame work for calculating with vectors. The geometric algebra of a space includes elements that represent all the its subspaces (lines, planes, volumes, ...). Conformal geometric algebra expands this…
We develop the notion of a (pro-) conformal pseudo operad and apply it to the construction of the basic cohomology complex of a vertex algebra. The paper heavily uses the ideas and constructions of the work of Tamarkin [Tam02]
In this paper, we study representations of the vertex operator algebra $L(k,0)$ at one-third admissible levels $k= -5/3, -4/3, -2/3$ for the affine algebra of type $G_2^{(1)}$. We first determine singular vectors and then obtain a…
We give a general criterion for conformal embeddings of vertex operator algebras associated to affine Lie algebras at arbitrary levels. Using that criterion, we construct new conformal embeddings at admissible rational and negative integer…
The theory of vertex algebras constitutes a mathematically rigorous axiomatic formulation of the algebraic origins of conformal field theory. In this context Borcherds algebras arise as certain ``physical'' subspaces of vertex algebras. The…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
The paper explores categorical interconnections between lattice-valued Relational systems and algebras of Fitting's lattice-valued modal logic. We define lattice-valued boolean systems, and then we study co-adjointness, adjointness of…
In this paper, we completely classify the isomorphism classes of certain lattices $L_A(C)$ and $L_B(C)$ from a self-orthogonal code $C$ over the finite field $\mathbb{F}_p$, where $p$ is an odd prime. These lattices are obtained by…
We elaborate on the notion of a filtration of an operad defined in terms of a lattice-valued operad serving as an indexing object. That covers ordinary integer-indexed filtrations of associative algebras and operads as a special case, yet…
Let $V$ be a vertex operator algebra and $g$ an automorphism of finite order. We construct an associative algebra $A_g(V)$ and a pair of functors between the category of $A_g(V)$-modules and a certain category of admissible $g$-twisted…
For a simple vertex operator algebra whose Virasoro element is a sum of commutative Virasoro elements of central charge 1/2, two codes are introduced and studied. It is proved that such vertex operator algebras are rational. For lattice…
In this paper we look at symbolic substitutions and their relationship to Bratteli diagrams and their associated operator algebras. In particular, we consider the equivalence relation on substitutions induced by telescope equivalence of…
We develop a deformation theory for finite-dimensional left-symmetric color algebras, which can be used to construct new algebraic structures and interpret left-symmetric color cohomology spaces of lower degrees. We explore equivalence…
We show that the space of logarithmic intertwining operators among logarithmic modules for a vertex operator algebra is isomorphic to the space of 3-point conformal blocks over the projective line. This is considered as a generalization of…
The problem of equivalency for linear differential operators of the first order is discussed.
We define and study the structure of SUSY Lie conformal and vertex algebras. This leads to effective rules for computations with superfields.