Biproducts without pointedness

zbMATH Open1440.18002arXiv1801.06488MaRDI QIDQ5116339FDOQ5116339

Authors: Martti Karvonen 

Publication date: 24 August 2020

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.

Full work available at URL: https://arxiv.org/abs/1801.06488

Recommendations

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

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)

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)