id	keyword
ejpam-1535	semigroups
ejpam-1535	inductive
ejpam-1535	category
ejpam-1535	restriction
ejpam-1535	inverse
ejpam-1535	theorem
ejpam-1535	lemma
ejpam-1535	categories
ejpam-1535	groupoid
ejpam-1535	definition
ejpam-1535	restriction semigroups