Logic

Research Frontiers in Category Theory and Categorical Logic

Applies categorical structures to formalize logical concepts enabling abstract treatment of syntax and semantics.

All Logic PhD categories