Knot invariants can be defined using Legendrian isotopy invariants of the knot conormal. There are two types of invariants raised in this way: one is the knot contact differential graded algebra together with augmentations associated to this dga, and the other one is the category of simple sheaves microsupported along...