Sottocategorie della categoria propanidide