In this thesis, we consider the categories of sheaves with singular support on certain Lagrangians and the categories of microlocal sheaves with support on certain Lagrangians obtained by microlocalization, and study properties of functors between these categories.First, we study one class of the microlocal restriction functor for open inclusions, namely...