Mathematical Logic Foundations

Research Frontiers in Coherence Problems in Higher Category Theory

Studies coherence conditions and coherence theorems arising in higher category theory and their logical implications for type-theoretic foundations.

All Mathematical Logic & Foundations PhD categories