A New Tractable Description Logic under Categorical Semantics