I. Category Theories in Homological Mirror Symmetry Conjectures