We show that the cardinality of the transverse intersection of two compact exact Lagrangian
submanifolds in a cotangent bundle is bounded from below by the dimension of the Hom
space of sheaf quantizations of the Lagrangians in Tamarkin's category. Our sheaf-theoretic
method can also deal with clean and degenerate Lagrangian intersections.