def conclude(self,D):
phi = Morphism(D["P"],D["N"],"phi")
phi.namescheme=("{} x {}",("f","g"))
phi.latexscheme=("{} \\oplus {}",("f","g"))
Commute(D["f"],phi*D["i1"])
Commute(D["g"],phi*D["i2"])
def conclude(self,D):
ftilde=Morphism(D['B'],D['I'])
ftilde.namescheme=("{}tilde",("f"))
ftilde.latexscheme=("\\tilde\{{}\}",("f"))
Commute(D["f"],ftilde*D['iota'])