Product of Telescopes

The product of two Telescopes Γ , Δ Γ Δ \Gamma,\Delta is given by their concatenation. This may seem somewhat backwards, but recall that Morphisms of Telescopes are given by Weakenings; the projections π 0 : Γ × Δ Γ : subscript 𝜋 0 Γ Δ Γ \pi_{0}:\Gamma\times\Delta\to\Gamma , π 1 : Γ × Δ Δ : subscript 𝜋 1 Γ Δ Δ \pi_{1}:\Gamma\times\Delta\to\Delta perform the evident weakenings, and the universal property ensures that there isn't "extra junk".