Hello,
Product Categories widget is not a filter, but a list or dropdown of product categories, so mentioned checkboxes can’t be added. Neither WooCommerce nor our theme has such filter widget. You may try third-party filter plugins to implement this but make sure that you use correct selectors for the archive page in the plugin settings (as a rule such plugins require this).
Regards