simplify
simplify
add terminal objects and binary coproducts