Formalism of Perverse Sheaves