NTHRYS › PhD Assistance › Category Theory

Category Theory

Field

▾

Category Theory

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Categorical Homotopy Type Theory

Studies the categorical foundations and interpretations of homotopy type theory, including univalence and higher inductive types within category-theoretic frameworks.

All Category Theory PhD categories