TY - RPRT TI - Strictification tensor product of 2-categories AU - Branko Nikolić PY - 2018 UR - https://arxiv.org/abs/1810.12213 ID - 1810.12213 ER -