Sottocategorie della categoria velmanasi alfa