apg_morphism apg_morphism_product

apg_typeside t
apg_instance G2 : s2
apg_instance G1 : s1
apg_instance G : s
apg_morphism h' : G -> G2
apg_morphism h : G -> G1
----------------------------------
apg_morphism (( h , h')) : G -> (G1 * G2)
	
Pairing morphism in the category of APGs.

Appears in:

APG

Options:

always_reload
num_threads
talg_reduction
timeout