Braid theory