Coproducts in categories without uniqueness of \(\mathbf{cod}\) and \(\mathbf{dom}\)

DOI10.2478/FORMA-2013-0025zbMath1298.18004OpenAlexW2132657268MaRDI QIDQ467797

Artur Korniłowicz, Maciej Goliński

Publication date: 5 November 2014

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2013-0025

zbMATH Keywords

coproductsdisjoined union

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Cites Work

• Products in Categories without Uniqueness of cod and dom
• Unnamed Item
• Unnamed Item

This page was built for publication: Coproducts in categories without uniqueness of \(\mathbf{cod}\) and \(\mathbf{dom}\)