گویایی رسته‌ای

همچنین شناخته شده با: منطق حملی
برابر انگلیک (انگلیسی): Categorical Logic