NTHRYS › PhD Assistance › Category Theory

Category Theory

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Categorical Methods in Synthetic Homotopy Theory

Develops homotopy theory in higher toposes and cubical categories using internal categorical languages and type-theoretic foundations.