BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Davide di Micco appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
In the context of internal crossed modules over a fixed base object in a given semi-abelian category, we use the non-abelian tensor product in order to prove that an object is perfect (in an appropriate sense) if and only if it admits a universal central extension. This extends results of Brown-Loday (in the case of groups) and Edalatzadeh (in the case of Lie algebras). Our aim is to explain how those results can be understood in terms of categorical Galois theory: Edalatzadeh's interpretation in terms of quasi-pointed categories applies, but a more straightforward approach based on the theory developed in a pointed setting by Casas and the second author works as well.
The concept of a pair of compatible actions was introduced in the case of groups by Brown and Loday and in the case of Lie algebras by Ellis. In this article we extend it to the context of semi-abelian categories (that satisfy the Smith-is-Huq condition). We give a new construction of the Peiffer product, which specialises to the definitions known for groups and Lie algebras. We use it to prove our main result, on the connection between pairs of compatible actions and pairs of crossed modules over a common base object. We also study the Peiffer product in its own right, in terms of its universal properties, and prove its equivalence with existing definitions in specific cases.