additive and abelian categories
(AB1) pre-abelian category
(AB2) abelian category
(AB5) Grothendieck category
left/right exact functor
Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
An (∞,1)-category is -semiadditive for if (∞,1)-colimits over certain diagrams coincide with their (∞,1)-limits in a canonical way (see Hopkins-Lurie 14, def. 4.4.2). Here for the condition is that coproducts coincide with products, hence that bilimits exist.
So an (∞,1)-category that happens to be an ordinary category is 0-semiadditive precisely if it is a semiadditive category in the traditional sense. Generally, an (∞,1)-category is 0-semiadditive precisely if its homotopy category is semiadditive (Hopkins-Lurie 14, remark 4.4.13).
Last revised on February 2, 2014 at 05:40:32. See the history of this page for a list of all contributions to it.