Categorical Logic

A branch of logic that deals with the logical relationships between categories.