Coproducts in categories without uniqueness of cod and dom

DOI10.2478/FORMA-2013-0025zbMATH Open1298.18004OpenAlexW2132657268MaRDI QIDQ467797FDOQ467797

Authors Maciej Goliński, Artur Korniłowicz

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)

Recommendations

• scientific article; zbMATH DE number 4002343
• Product and coproduct of group category and module category
• THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. II PRODUCTS AND COPRODUCTS
• The pushouts category of additive category
• scientific article; zbMATH DE number 695865

Cites work

• scientific article; zbMATH DE number 3695430 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Products in categories without uniqueness of cod and dom

Cited in

(3)

• scientific article; zbMATH DE number 4017140 (Why is no real title available?)
• Coproducts in the category \(\mathbf M\kappa\mathbf{Frm}\)
• scientific article; zbMATH DE number 695865 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467797)