rename lemma: from mem_cat to mem_f_cat