Philosophers sometimes also use 'reductionist' more strictly, to mean 'type-identities' between mental and physical categories, and to exclude 'non-reductive physicalisms' like metaphysical functionalism.