They are known to be equivalent in most cases and we will give Voevodsky's definition below.
ほとんどの場合、これらの定義は同値であることがしられていて、以下のヴォエヴォドスキーの定義と一致する。