On bicolimits of -categories
We discuss a number of general constructions concerning additive -categories, focussing in particular on establishing the existence of bicolimits. As an illustration of our results we show that balanced tensor products of module categories over -tensor categories exist without any finiteness assumptions.