NTHRYS › PhD Assistance › Category Theory

Category Theory

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Grothendieck Fibrations and Categorical Dependent Types

Studies fibered categories and Grothendieck constructions with applications to dependent type theory and categorical semantics.