Coproducts in Categories without Uniqueness of cod and dom

Maciej Golinski, Artur Kornilowicz. Coproducts in Categories without Uniqueness of cod and dom. Formalized Mathematics, 21(4):235-239, 2013. [doi]

Abstract

Abstract is missing.