181

2-Biproducts in 2-Categories

Science of Computer Programming (SCP), 2019
Main:26 Pages
12 Figures
Bibliography:2 Pages
Abstract

An algebraic definition for weak 2-biproducts in 2-categories is introduced. It is shown that in a locally semiadditive distributive 2-category (a 2-category whose 2-morphisms horizontally and vertically distribute over monoid additions and whose Hom-categories are semiadditive categories) weak 2-biproducts are equivalent to weak 2-products and 2-coproducts.

View on arXiv
Comments on this paper