Hello, Henrik Kriiger,
The Product Categories widget is a default widget of the WooCommerce plugin, and its options are not dependent on our theme.
Kind Regards, 8theme team