Cocartesian (:-)
Coproduct limit issue gone, still hard