Category Theory

Research Frontiers in Condensed Categorical Logic and Semantics

Combines condensed mathematics with categorical logic to provide semantic interpretations of formal systems and type theories in condensed frameworks.

All Category Theory PhD categories