Normed representations of weight quivers

Abstract

Let $A$ and $B$ be two tensor rings given by weight quivers. We introduce norms for tensor rings and $(A,B)$-bimodules, and define an important category $\mathscr{A}^p_{\varsigma}$ in this paper whose object is a triple $(N,v,\delta)$ given by an $(A,B)$-bimodule $N$, a special element $v\in V$ satisfying some special conditions, and a special $(A,B)$-homomorphism $\delta: N^{\oplus_p 2^{\dim A}} \to N$ and each morphism $(N,v,\delta) \to (N',v',\delta')$ is given by an $(A,B)$-homomorphism $\theta: N\to N'$ such that $\theta(v)=v'$ and $\delta' \theta^{\oplus 2^{\dim A}} = \theta\delta$ hold. We show that $\mathscr{A}^p_{\varsigma}$ has an initial object such that Daniell integration, Bochner integration, Lebesgue integration, Stone--Weierstrass Approximation Theorem, power series expansion, and Fourier series expansion are morphisms in $\mathscr{A}^p_{\varsigma}$ starting with this initial object.