מהו המאפיין העיקרי של 'קטגוריות טבעיות' לעומת קטגוריות פורמליות?