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 Topos Theory and Categorical Logic

Development of topos-theoretic foundations for mathematics including sheaf theory, categorical semantics, and intuitionistic logic.

Constructive Truth and Intuitionistic Sheaf Semantics
Higher Topos Theory in Derived Algebraic Geometry
Categorical Semantics of Type Theory and Proof Assistants
Toposes as Foundations for Synthetic Differential Geometry
Logical Modalities in Cohesive Topos Structures
Subobject Classifiers Beyond Classical Set Theory
Categorical Approaches to Computational Complexity Theory
Infinity-Categorical Logic and Homotopy Type Theory
Effectivity and Computability in Topological Toposes
Topos-Theoretic Methods in Categorical Quantum Logic

All Category Theory PhD categories