An intrinsic approach to the non-abelian tensor product via internal crossed squares
arXiv:1911.08781
Abstract
We explain how, in the context of a semi-abelian category, the concept of an internal crossed square may be used to set up an intrinsic approach to the Brown-Loday non-abelian tensor product.
36 pages; revised version with small changes throughout the text