In this paper, using Calderón’s reproducing formula and almost orthogonality estimates, we prove the lifting property and the embedding theorem of the Triebel–Lizorkin and Besov spaces associated with Zygmund dilations.

Let (X, ρ, μ)d, θ be a space of homogeneous type with d < 0 and θ ∈ (0, 1], b be a para-accretive function, ε ∈ (0, θ], ∣s∣ > ∈ and a0 ∈ (0, 1) be some constant depending on d, ∈ and s. The authors introduce the Besov space bBspq (X) with a0 > p ≧ ∞, and the Triebel-Lizorkin space bFspq (X) with a0 > p > ∞ and a0 > q ≧∞ by first establishing a Plancherel-Pôlya-type inequality. Moreover, the authors establish the frame and the Littlewood-Paley function characterizations of these spaces. Furthermore, the authors introduce the new Besov space b−1 Bs (X) and the Triebel-Lizorkin space b−1 Fspq (X). The relations among these spaces and the known Hardy-type spaces are presented. As applications, the authors also establish some real interpolation theorems, embedding theorems, T b theorems, and the lifting property by introducing some new Riesz operators of these spaces.

New spaces of Lipschitz type on metric-measure spaces are introduced and they are shown to be just the well-known Besov spaces or Triebel–Lizorkin spaces when the smooth index is less than 1. These theorems also hold in the setting of spaces of homogeneous type, which include Euclidean spaces, Riemannian manifolds and some self-similar fractals. Moreover, the relationships amongst these Lipschitz-type spaces, Hajłasz–Sobolev spaces, Korevaar–Schoen–Sobolev spaces, Newtonian Sobolev space and Cheeger–Sobolev spaces on metric-measure spaces are clarified, showing that they are the same space with equivalence of norms. Furthermore, a Sobolev embedding theorem, namely that the Lipschitz-type spaces with large orders of smoothness can be embedded in Lipschitz spaces, is proved. For metric-measure spaces with heat kernels, a Hardy–Littlewood–Sobolev theorem is establish, and hence it is proved that Lipschitz-type spaces with small orders of smoothness can be embedded in Lebesgue spaces.

AMS 2000 Mathematics subject classification: Primary 42B35. Secondary 46E35; 58J35; 43A99

We show that, with some technical conditions, an Abelian monoidal category admits a monoidal embedding into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.