NTHRYS › PhD Assistance › Category Theory

Category Theory

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Categorical Foundations of Topos and Sheaf Logic

Explores logical operations in toposes and develops categorical semantics for constructive and intuitionistic logic.