Эх...
Усовершенствовал немного. Сделал ду вайл да и в боевых условиях проверил
PHP код:

<?php
include ('config.php');
$result = mysql_query("SELECT DISTINCT category FROM menu", $db);
$categ = mysql_fetch_array($result);
$i=0;
$menu1[0] = $categ['category'];
do {
printf ("<option value='$i'>%s</option>", $categ['category']);
if (isset($menu1) && !in_array($categ['category'], $menu1))
$menu1[]=$categ['category'];
$i++;
}
while ($categ = mysql_fetch_array($result));
print_r($menu1);
?>