WooCommerce - Hide a category in the categories widget

<?php
  // hide a category from the categories widget
  // code goes in functions.php for your child theme

  add_filter( 'woocommerce_product_categories_widget_args', 'woo_product_cat_widget_args' );
  function woo_product_cat_widget_args( $cat_args ) {
    $cat_args['exclude'] = array('17');
    return $cat_args;
  }