Calum Hughes

Calum Hughes

PhD student studying category theory and logic at the University of Manchester.

Internal categories, algebraic model structures and type theory

Date:

See abstract here.