NTHRYS › PhD Assistance › Category Theory

Category Theory

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Infinity Groupoids and Homotopy Type Theory

Develops foundations of homotopy type theory using infinity groupoids and categorical semantics in higher topos theory.