SEARCH Articles Figures Tables A commutative diagram for the proof of Proposition B.2. The functions tti and 712 are the natural projection functions. The function i is the inclusion function [Publishers Imprint]