The theory of plane curves is much richer than knot theory, which may be considered the commutative version of the theory of plane curves. This study is based on singularity theory: the infinite-dimensional space of curves is subdivided by the discriminant hypersurfaces into parts consisting of generic curves of the same type.