Tim Van der Linden: Aspects of the "Smith is Huq" property


We give a survey of the so-called Smith is Huq property for semi-abelian (or finitely cocomplete homological) categories. We recall its history and basic motivations and the fundamental definitions and results. We then have a look at some new examples, characterisations and applications.