Let be a functor (e.g. a tensor product, tensoring). Let have pushouts.
For in and in , the pushout product morphism is the morphism
out of the coproduct, induced from the commuting diagram
Created on March 23, 2012 08:14:45
by Urs Schreiber