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
Revised on January 11, 2014 22:18:12
by Andrej Bauer?