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.