categorial tracing