ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Category Theory

Category Theory

Field
▾
Category
▾

Category Theory

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Categorical Semantics of Type Theory

Development of categorical interpretations of dependent type theory, homotopy type theory, and formal verification systems.

Homotopy Type Theory and Higher Categorical Structures
Dependent Types in Topos-Theoretic Foundations
Categorical Models of Linear and Ordered Type Systems
Computational Content of Categorical Proof Theory
Fibered Categories and Polymorphic Type Abstraction
Kan Extensions in Intensional Type Theory
Categorical Semantics of Modal and Temporal Type Logics
Operad-Indexed Type Families and Higher Operations
Adjunctions as Fundamental Type Transformations
Presheaf Models of Effectful and Stateful Computation

All Category Theory PhD categories