On bornological semi-abelian algebras
On bornological semi-abelian algebras
If $Bbb T$ is a semi-abelian algebraic theory, we prove that the category ${rm Born}^{Bbb T}$ of bornological $Bbb T$-algebras is homological with semi-direct products. We give a formal criterion for the representability of actions in ${rm Born}^{Bbb T}$ and, for a bornological $Bbb T$-algebra $X$, we investigate the relation …