We define a general class of 1-HITs and define their induction principles and their categories of algebras. We show that for these HITs, homotopy initiality is logically equivalent to the induction principle. We will also talk about the difficulties of generalising these results to a larger class of higher inductive types.