Sensei - Change Course Category Archive title

functions.php

add_filter( 'course_category_archive_title', 'custom_course_category_title', 10 );

function custom_course_category_title( $title ) {
	global $wp_query;
	$taxonomy_obj = $wp_query->get_queried_object();
	$title = sprintf( __( 'Course Category: %s', 'woothemes-sensei' ), $taxonomy_obj->name );
	$title = '<header class="archive-header"><h1>' . $title . '</h1></header>';
	return $title;
}