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

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

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

• Title not available (Why is that?)
• Products in categories without uniqueness of cod and dom
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Coproducts in the category \(\mathbf M\kappa\mathbf{Frm}\)

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)