Category:Strictly Inductive Semigroups