What size is a 9 mm crochet hook?

A size "C" crochet is generally around 2.75 mm in the United States.

There isn't really any specific standards regarding crochet hook sizes, different manufacturers made their hooks in different sizes, and that pretty much still is happening today.