ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Mathematics

Mathematics

Field
▾
Category
▾

Mathematics

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Categorical Logic and Type Theory

Develops logical frameworks using category theory, topos theory, and dependent type systems for mathematical foundations.

Higher Categorical Structures in Computational Type Systems
Homotopy Type Theory and Synthetic Mathematics
Topos Theory in Machine-Checkable Formal Proofs
Dependent Types and Categorical Semantics
Infinity Categories and Derived Algebraic Geometry
Categorical Foundations for Quantum Logic
Type-Theoretic Approaches to Modal and Temporal Reasoning
Enriched Categories and Computational Complexity Bounds
Categorical Approaches to Univalence and Equivalence
Fibered Structures in Dependent Type Theory

All Mathematics PhD categories