Biproducts without pointedness

MaRDI QIDQ5116339zbMATH OpenFDO

Authors Martti Karvonen

Publication date 24 August 2020

Full work available at URL https://arxiv.org/abs/1801.06488, http://cahierstgdc.com/wp-content/uploads/2020/07/KARVONEN-LXI-3.pdf

zbMATH Keywords

biproductszero morphisms

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20)

Abstract: We show how to define biproducts up to isomorphism in an arbitrary category without assuming any enrichment. The resulting notion coincides with the usual definitions whenever all binary biproducts exist or the category is suitably enriched, resulting in a modest yet strict generalization otherwise. We also characterize when a category has all binary biproducts in terms of an ambidextrous adjunction. Finally, we give some new examples of biproducts that our definition recognizes.

Recommendations

• When coproducts are biproducts
• Biproducts in monoidal categories
• Semimodule enrichment
• Biproducts and commutators for Noetherian forms
• The bilinear product category

Cited in

(3)

• When coproducts are biproducts
• Semimodule enrichment
• Biproducts in monoidal categories

This page was built for publication: Biproducts without pointedness

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