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.
Categories: math.RT math.CT math.FA