Custom Fields to Category edit page, then displaying them in a template correctly

Sorted this myself! May help some people…

$cat = get_query_var('cat');
$prod_extras = get_option(Category_Extras);
$this_application = $prod_extras[$cat]['Category_Extras_Applications'];

if(!empty($this_application)) { echo $this_application; }

Cheers,

Dave