Een categorie of predicaatstype is in de filosofie en de logica een begrip dat verwijst naar de meest algemene kenmerken van het predicaat, de eigenschap van iets. Het woord “categorie” komt uit het Grieks en betekende aanvankelijk “beschuldiging”; men bedoelde daarmee datgene wat over iets of iemand gezegd kan worden. Categorieën zijn altijd indelingen naar de meest algemene kenmerken van predicaten, maar men kan op meerdere manieren naar predicaten kijken. Als men predicaten opvat als dingen die verwijzen naar de werkelijkheid (zoals in de metafysica of ontologie van Aristoteles), dan noemt men deze categorieën metafysische categorieën of predikamenten (in het Engels: categories of being); is men daarentegen geïnteresseerd in de logica of inhoud van het begrippenkader (of in de epistemologie of in de bestudering daarvan zoals bij Kant), dan heeft men het over logische categorieën.