II. Category Theories in Homological Mirror Symmetry Conjectures