Related papers: Logarithmic tensor category theory, II: Logarithmi…
General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…
We prove that the categories of weight modules over the simple $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator algebras at fractional admissible levels and central charges are rigid (and hence the categories of weight…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra $\hat{\mathfrak{g}}$, from $\mathfrak{g}$-module homomorphisms. When…
The operators of fractional calculus come in many different types, which can be categorised into general classes according to their nature and properties. We conduct a formal study of the class known as weighted fractional calculus and its…
We present here definitions and constructions basic for the theory of monoidal and tensor categories. We provide references to the original sources, whenever possible. Group-theoretical categories are used as examples
These notes are the second part of the tensor calculus documents which started with the previous set of introductory. In the present text, we continue the discussion of selected topics of the subject at a higher level expanding, when…
The main result is that the category of ordinary modules of an affine vertex operator algebra of a simply laced Lie algebra at admissible level is rigid and thus a braided fusion category. If the level satisfies a certain coprime property…
The Dunkl operators associated to a dihedral group are a pair of differential-difference operators that generate a commutative algebra acting on differentiable functions in $\mathbb{R}^2$. The intertwining operator intertwines between this…
We prove a conjecture stated in a previous paper by the author about the existence of canonical filtrations for a family of vertex operator algebras in rational levels.
A two-dimensional chiral conformal field theory can be viewed mathematically as the representation theory of its chiral algebra, a vertex operator algebra. Vertex operator algebras are especially well suited for studying logarithmic…
We study the general twisted intertwining operators (intertwining operators among twisted modules) for a vertex operator algebra $V$. We give the skew-symmetry and contragredient isomorphisms between spaces of twisted intertwining operators…
This is the second installment of an exposition of an ACL2 formalization of elementary linear algebra. It extends the results of Part I, which covers the algebra of matrices over a commutative ring, but focuses on aspects of the theory that…
The category of weight modules $L_k(\mathfrak{sl}_2)\text{-wtmod}$ of the simple affine vertex algebra of $\mathfrak{sl}_2$ at an admissible level $k$ is neither finite nor semisimple and modules are usually not lower-bounded and have…
We study the framework of $\infty$-equipments which is designed to produce well-behaved theories for different generalizations of $\infty$-categories in a synthetic and uniform fashion. We consider notions of (lax) functors between these…
The development of compositional distributional models of semantics reconciling the empirical aspects of distributional semantics with the compositional aspects of formal semantics is a popular topic in the contemporary literature. This…
We develop a theory of toroidal vertex algebras and their modules, and we give a conceptual construction of toroidal vertex algebras and their modules. As an application, we associate toroidal vertex algebras and their modules to toroidal…
We show that if every module W for a vertex operator algebra V satisfies the condition that the dimension of W/C_1(W) is less than infinity, where C_1(W) is the subspace of W spanned by elements of the form u_{-1}w for u in V of positive…
We give a review of some recent developments in the theory of tensor categories. The topics include realizability of fusion rings, Ocneanu rigidity, module categories, weak Hopf algebras, Morita theory for tensor categories, lifting theory,…
In this paper, we develop general machinery for computing the classifying ring $L^A$ of one-dimensional formal $A$-modules, for various commutative rings $A$. We then apply the machinery to obtain calculations of $L^A$ for various number…